Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Bundy, Alan Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dv0Jf (Publisher version)
Kraan, I., Basin, D. A., & Bundy, A. (1996). Middle-out Reasoning for Synthesis and Induction. Journal of Automated Reasoning, 16(1/2), 113-145. doi:10.1007/BF00244461.