Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Matthews, Seán Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dtpNw (Publisher version)
Basin, D. A., & Matthews, S. (1996). Structuring metatheory on inductive definitions. In M. A. McRobbie, & J. K. Slaney (Eds.), Proceedings of the 13th International Conference on Automated Deduction (CADE-13) (pp. 171-185). Berlin, Germany: Springer.