B. J. Crawford

Design rules checking for integrated circuits using graphical operators

B. J. Crawford, 1975, SIGGRAPH '75.

Automated logic design techniques applicable to integrated circuitry technology

B. J. Crawford, R. Waxman, M. T. McMahon, 1966, AFIPS '66 (Fall).

Automated Logic Design Techniques Appiicabie to Integrated Circuit Technology

B. J. Crawford, A. B. DeAndrade, R. Waxman, 1899 .