@inproceedings{DAC-1970-FriedmanY,
	author        = "Theodore D. Friedman and Sih-Chin Yang",
	booktitle     = "{Proceedings of the Eighth Design Automation Workshop}",
	doi           = "10.1145/800160.805114",
	pages         = "71--89",
	publisher     = "{ACM}",
	title         = "{Quality of designs from an automatic logic generator (ALERT)}",
	year          = 1970,
}