@inproceedings{DAC-1976-Vaughn,
	author        = "Glen D. Vaughn",
	booktitle     = "{Proceedings of the 13th Design Automation Conference}",
	doi           = "10.1145/800146.804813",
	pages         = "186--193",
	publisher     = "{ACM}",
	title         = "{CDALGO — a test pattern generation program}",
	year          = 1976,
}