Theoretical Foundations for the Computer-Aided Design System

This work has been made possible through the support extended to the Massachusetts Institute of Technology, Electronic Systems Laboratory, by the Manufacturing Technology Laboratory, ASD, Wright-Patterson Air Force Base, under Contract No. AF-33(600)- 42859. It is published for technical information only and does not necessarily represent the recommendations or conclusions of the sponsoring agency.