Matthews, Seán Programming Logics, MPI for Informatics, Max Planck Society;
Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Matthews, S., & Basin, D. A. (1998). Scoped Metatheorems. Electronic Notes in Computer Science, 15, 1-14.