Anderson, Penny Programming Logics, MPI for Informatics, Max Planck Society;
Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Anderson, P., & Basin, D. A. (2000). Program Development Schemata as Derived Rules. Journal of Symbolic Computation, 30(1), 5-36.