A Minimal Graphical User Interface for the Jape Proof Calculator Richard BornatBernard Sufrin Original Paper Pages: 244 - 271
Social and Semiotic Analyses for Theorem Prover User Interface Design 1 Joseph Goguen Original Paper Pages: 272 - 301
LΩUI: Lovely ΩMEGA User Interface Jörg SiekmannStephan HessVolker Sorge Original Paper Pages: 326 - 342