Plaisted, David Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-232.pdf (Any fulltext), 418KB
Plaisted, D.(1994). An abstract program generation logic (MPI-I-94-232). Saarbrücken: Max-Planck-Institut für Informatik.