@inproceedings{DAC-1972-Lewis,
	author        = "Daniel W. Lewis",
	booktitle     = "{Proceedings of the Ninth Design Automation Workshop}",
	doi           = "10.1145/800153.804941",
	pages         = "157--164",
	publisher     = "{ACM}",
	title         = "{Hazard detection by a quinary simulation of logic devices with bounded propagation delays}",
	year          = 1972,
}