@inproceedings{DAC-1977-Krohn,
	acmid         = "809154",
	author        = "Howard E. Krohn",
	booktitle     = "{Proceedings of the 14th Design Automation Conference}",
	pages         = "354--361",
	publisher     = "{ACM}",
	title         = "{Design verification of large scientific computers}",
	year          = 1977,
}