1. S. Berghofer, “Proofs, programs and executable specifications in higher order logic,” PhD thesis, Institut für Informatik, Technische Universität München, 2003.
2. S. Berghofer and T. Nipkow, “Executing higher order logic,” in P. Callaghan, Z. Luo, J. McKinna, and R. Pollack (Eds.), Types for Proofs and Programs: International Workshop, TYPES 2000, Durham, UK, Selected Papers, Vol. 2277 of Lecture Notes in Computer Science, Springer-Verlag, 2002.
3. P. Borovanský, C. Kirchner, H. Kirchner, P.-E. Moreau, and C. Ringeissen. “An overview of ELAN,” in Kirchner and Kirchner [38], pp. 329–344.
4. R. Bruni, “Tile logic for synchronized rewriting of concurrent systems,” PhD thesis, Dipartimento di Informatica, Università di Pisa, 1999.
5. R. Bruni, J. Meseguer, and U. Montanari, “Internal strategies in a rewriting implementation of tile systems,” in Kirchner and Kirchner [38].