John M. Robison: Applications of logic simulation in design automation at Texas Instruments. DAC 1972: 138-143