1. Jayadev Misra. An Exercise in Program Explanation. ACM Transaction on Programming Languages and Systems, 3(1):104--109, January 1981.



2. Tim Teitelbaum and Thomas Reps. The Cornell Program Synthesizer: A Syntax-Directed Programming Environment. Proceedings of CACM, 24(9):563--573, September 1981.

This document was translated from BibT_EX by bibtex2html