This document has moved to http://ispltd.org.