Wolfgang Reif;Gerhard Schellhorn;Kurt Stenzel
-;-;-
Functional design and implementation of graphical user interfaces for theorem provers
Journal of Functional Programming