Computer-aided logic design on the TX-2 computer. - Gary D. Hornbuckle; Elaine L. Thomas; Richard N. Spann; R. J. Diephuis (DAC, 1969)