Solid Logic Design Automation. - Paul W. Case; Herbert H. Graff; Leroy E. Griffith; A. Robert LeClercq; Windsor B. Murley; Thomas M. Spence (IBM J. Res. Dev., 1964)

Optimization and Code Generation in a Compiler for Several Machines. - Dennis Boyle; Paul Mundy; Thomas M. Spence (IBM J. Res. Dev., 1980)