@inproceedings{DAC-1969-Bening,
	author        = "Lionel C. Bening Jr.",
	booktitle     = "{Proceedings of the Sixth Design Automation Conference}",
	doi           = "10.1145/800260.809020",
	pages         = "103--112",
	publisher     = "{ACM}",
	title         = "{Accurate simulation of high speed computer logic}",
	year          = 1969,
}