Basin, David Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-205.pdf (beliebiger Volltext), 162KB
Basin, D., & Constable, R. L.(1992). Metalogical frameworks (MPI-I-92-205). Saarbrücken: Max-Planck-Institut für Informatik.