Publication in BibTeX Format

@TECHREPORT{AICPub1426:1970,
  AUTHOR={Manna, Zohar and Waldinger, Richard J.},
  TITLE={Towards Automatic Program Synthesis},
  ADDRESS={333 Ravenswood Ave, Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={July},
  NUMBER={34},
  YEAR={1970},
  KEYWORDS={Automatic Program Synthesis, Theorem-Proving},
  ABSTRACT={An elementary outline of the theorem-proving approach to automatic program
     synthesis is given, without dwelling on technical details. The method is illustrated
     by the automatic construction of both recursive and iterative programs operating
     on natural numbers, lists, and trees.},
  NOTE={To be submitted for publication in Collection of Lecture Notes in the Symposium
     on the Semantics of Algorithmic Languages, Erwin Engeler (Ed.), Springer-Verlag.
     Also submitted for publication in the Communications of the Association for
     Computing Machinery.}
}