@inproceedings{SHARE-1965-MandellE,
	author        = "Richard L. Mandell and Gerald Estrin",
	booktitle     = "{Second Proceedings of the SHARE Design Automation Project}",
	doi           = "10.1145/800266.810756",
	publisher     = "{ACM}",
	title         = "{Specifications for a design automation system}",
	year          = 1965,
}