Basin, D., Matthews, S., Kraan, I., & Bundy, A. (1993). A Framework for Program Development Based on Schematic Proof. In 7th International Workshop on Software Specification and Design (pp. 162-171). Washington, DC: IEEE Computer Society Press.