Portions explicitly covered:
Supplemental materials not explicitly covered: Reto Kramer, iContract: The Java Design by Contract Tool, TOOLS USA, 1998.
Presentation materials
Java Servlet Resources
UP to ENGR 691 root document?