@inproceedings{DAC-1967-McKinney,
	author        = "Jay G. McKinney",
	booktitle     = "{Proceedings of the Fourth Design Automation Conference}",
	doi           = "10.1145/800270.810868",
	publisher     = "{ACM}",
	title         = "{Synchronous Logic Simulator}",
	year          = 1967,
}