Matthews, Seán Programming Logics, MPI for Informatics, Max Planck Society;
Matthews, S. (1994). A Theory and its Metatheory in $FS_0$. In D. M. Gabbay (Ed.), What is a logical system? (pp. 329-354). Oxford, UK: Oxford University Press.