 <a href="http://www.cs.cornell.edu/Info/Courses/Spring-95/CS314/PS314.html"> PS314 Spec</a> </ul>
