@inproceedings{DAC-1973-Keiner,
	acmid         = "804010",
	author        = "William L. Keiner",
	booktitle     = "{Proceedings of the 10th Design Automation Workshop}",
	pages         = "151--158",
	publisher     = "{ACM}",
	title         = "{Functional testing A user looks at logic simulation}",
	year          = 1973,
}