Matthews, Seán Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-93-227.pdf (beliebiger Volltext), 132KB
Matthews, S.(1993). A theory and its metatheory in FS 0 (MPI-I-93-227). Saarbrücken: Max-Planck-Institut für Informatik.