Publication in BibTeX Format

@TECHREPORT{AICPub725:1978,
  AUTHOR={Manna, Zohar and Waldinger, Richard},
  TITLE={A Deductive Approach To Program Synthesis},
  ADDRESS={333 Ravenswood Ave., Menlo Park, CA 94025},
  INSTITUTION={AI Center, SRI International},
  MONTH={Dec},
  NUMBER={177},
  YEAR={1978},
  KEYWORDS={Program Synthesis, Deduction!Program synthesis},
  ABSTRACT={Program synthesis is the systematic derivation of a program from a given
     specification. A deductive approach to program synthesis is presented for the
     construction of recursive programs. This approach regards program synthesis
     as a theorem-proving task and relies on a theorem-proving method that combines
     the features of transformation rules, unification, and mathematical induction
     within a single framework.}
}