Richard Bornat Bernard Sufrin A Minimal Graphical User Interface for the Jape Proof Calculator. 244-271 1999 11 Formal Asp. Comput. 3 http://link.springer.de/link/service/journals/00165/bibs/9011003/90110244.htm db/journals/fac/fac11.html#BornatS99