1. An Experimental Program Transformation and Synthesis System;Darlington;Artificial Intelligence,1981
2. Definitional Interpreters for Higher-Order Programming Languages;Reynolds,1972
3. The C Programming Language;Kernighan,1978
4. Non-syntactic Attribute Flow in Language Based Editors;Johnson,1982