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]
Abstract is missing.