Gerald Estrin. Modeling for synthesis - the gap between intent and behavior. In William M. van Cleemput, John C. Foster, Donald C. S. Allison, editors, Proceedings of the Symposium on Design Automation and Microprocessors, Palo Alto, California, February 24-25, 1977. pages 54-59, IEEE Press / ACM Digital Library, 1977. [doi]
@inproceedings{Estrin77,
title = {Modeling for synthesis - the gap between intent and behavior},
author = {Gerald Estrin},
year = {1977},
url = {http://dl.acm.org/citation.cfm?id=805502},
researchr = {https://researchr.org/publication/Estrin77},
cites = {0},
citedby = {0},
pages = {54-59},
booktitle = {Proceedings of the Symposium on Design Automation and Microprocessors, Palo Alto, California, February 24-25, 1977},
editor = {William M. van Cleemput and John C. Foster and Donald C. S. Allison},
publisher = {IEEE Press / ACM Digital Library},
}