A Generic Approach to Building User Interfaces for Theorem Provers.

Yves Bertot Laurent Théry A Generic Approach to Building User Interfaces for Theorem Provers. 161-194 1998 25 J. Symb. Comput. 2 db/journals/jsc/jsc25.html#BertotT98