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. (2000). Structuring Metatheory on Inductive Definitions. Information and Computation, 162(1/2), 80-95.