T. Mossakowski, Kolyang, and B. Krieg-Brückner. Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT’97, 1376, page 333-348. Springer-Verlag; D-69121 Heidelberg, Germany; http://www.springer.de, (1998)
S. Wilson, and J. Fleuriot. Proceedings of the European Joint Conferences on Theory and Practice
of Software (ETAPS) Satellite Workshop on User Interfaces for Theorem
Provers (UITP), Edinburgh, UK, (April 2005)