Matthews, Seán Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-92-250.pdf (Any fulltext), 107KB
Matthews, S.(1992). Reflection in logical systems (MPI-I-92-290). Saarbrücken: Max-Planck-Institut für Informatik.