Derivation of logic programs

@article{Hogger1978DerivationOL,
  title={Derivation of logic programs},
  author={Christopher J. Hogger},
  journal={J. ACM},
  year={1978},
  volume={28},
  pages={372-392}
}
Treating predicate logic as both a specification language and a programming language, firstorder logical deduction is shown to be sufficient for verifying, synthesizing, and transforming programs