Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Matthews, Sean Max Planck Society;
Basin, D. A., & Matthews, S. (2002). Logical Frameworks. In D. Gabbay, & F. Guenthner (Eds.), Handbook of Philosophical Logic (pp. 89-164). Dordrecht, The Netherlands: Reidel.