Ivan M. Campos, Gerald Estrin. Specialization of SARA for software synthesis. 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 87-94, IEEE Press / ACM Digital Library, 1977. [doi]
Abstract is missing.