1. Informality in program specification;Balzer,1977
2. A basis for the acquisition of procedures;Bauer,1978
3. On the inference of Turing Machines from sample computations;Biermann;Artificial Intelligence,1972
4. Construction programs from example computations;Biermann,1974
5. Automatic indexing in program synthesis;Biermann,1976