Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Matthews, Seán Programming Logics, MPI for Informatics, Max Planck Society;
Basin, D. A., & Matthews, S. (1996). Adding Metatheoretic facilities to First-order Theories. Journal of Logic and Computation, 6(6), 835-849.