1. “On the Representation of Problems and Goal-Directed Procedures for Computers,”;Amarel,1970
2. “Program Synthesis as a Theory Formation Task: Problem Representations and Solution Methods,”;Amarel,1986
3. Automatic Program Construction Techniques;Biermann,1984
4. Pattern Recognition;Bongard,1970