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. doi:10.1093/logcom/6.6.835.