Computer-aided system design. - E. David Crockett; David H. Copp; J. W. Frandeen; Clifford A. Isberg; Peter Bryant; Wesley E. Dickinson; Michael R. Paige (AFIPS Fall Joint Computing Conference, 1970)