Arnd Poetzsch
Formalizing Program Synthesis
Arnd Poetzsch, April 27, 1993
Department of Computer Science, Cornell University
mtotman@cs.cornell.edu