Christoph Lüth Burkhart Wolff Functional Design and Implementation of Graphical User Interfaces for Theorem Provers. 167-189 1999 9 J. Funct. Program. 2 db/journals/jfp/jfp9.html#LuthW99