Prof. Conrad Cunningham developed this course and taught it using Chandy and Misra's UNITY framework during the fall 1990 and fall 1991 semesters.
For the spring 1993 offering, he developed an alternative version of the course that used the Program Composition Notation (PCN) framework. The spring 1994, 1995, and 1996 offerings of the course followed the PCN design.
UP to ENGR 664 root document?