@inproceedings{DAC-1972-Robison,
	author        = "John M. Robison",
	booktitle     = "{Proceedings of the Ninth Design Automation Workshop}",
	doi           = "10.1145/800153.804939",
	pages         = "138--143",
	publisher     = "{ACM}",
	title         = "{Applications of logic simulation in design automation at Texas Instruments}",
	year          = 1972,
}