1. J. S. Aitken, P. Gray, T. Melham & M. Thomas (1998): Interactive Theorem Proving: An Empirical Study of User Activity. Journal of Symbolic Computation 25(2), pp. 263–284, doi:10.1006/jsco.1997.0175.
  2. J. Stuart Aitken & Thomas F. Melham (2000): An analysis of errors in interactive proof attempts. Interacting with Computers 12(6), pp. 565–586, doi:10.1016/S0953-5438(99)00023-5.
  3. Stuart Aitken, Philip Gray, Tom Melham & Muffy Thomas (1995): A Study Of User Activity In Interactive Theorem Proving. In: Chris Johnson: Task Centred Approaches To Interface Design: Glasgow Interactive Systems Group Research Review. Department of Computing Science, University of Glasgow, pp. 195–218. GIST Technical Report G95.2.
  4. Bernhard Beckert & Sarah Grebing (2012): Evaluating the Usability of Interactive Verification System. In: Proceedings, 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), Manchester, UK, June 30, 2012, CEUR Workshop Proceedings 873., pp. 3–17. Available at
  5. Bernhard Beckert, Reiner Hähnle & Peter H. Schmitt (2007): Verification of Object-Oriented Software: The KeY Approach. LNCS 4334. Springer-Verlag, doi:10.1007/978-3-540-69061-0.
  6. Alan Blackwell & Thomas R. Green (2007): A Cognitive Dimensions Questionnaire (Version 5.1.1).ãfb21/CognitiveDimensions/CDquestionnaire.pdf.
  7. Stanley Caplan (1990): Using focus group methodology for ergonomic design. Ergonomics 33(5), pp. 527–533, doi:10.1080/00140139008927160. Available at
  8. James Cheney (2001): Project Report – Theorem Prover Usability. Technical Report. Report of project COMM 641, available at
  9. Janice Elliott, Sara Heesterbeek, Carolyn J. Lukensmeyer & Nikki Slocum (2005): Participatory Methods Toolkit: A practitioner's manual. Technical Report. King Baudoin Foundation and Flemish Institute for Science and Technology Assessment (viWTA).
  10. Michael Jackson, Andrew Ireland & G. Reid (1999): Interactive Proof Critics. Formal Aspects of Computing 11(3), pp. 302–325, doi:10.1007/s001650050052.
  11. Gada Kadoda, Roger Stone & Dan Diaper (1996): Desirable Features of Educational Theorem Provers: A Cognitive Dimensions Viewpoint. In: Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group.
  12. Bettina Laugwitz, Theo Held & Martin Schrepp (2008): Construction and Evaluation of a User Experience Questionnaire. In: Andreas Holzinger: HCI and Usability for Education and Work, Lecture Notes in Computer Science 5298. Springer Berlin Heidelberg, pp. 63–76, doi:10.1007/978-3-540-89350-9_6.
  13. Philipp Mayring (1996): Einführung in die qualitative Sozialforschung – Eine Anleitung zu qualitativem Denken (Introduction to qualitative social research). Weinheim: Psychologie Verlags Union.
  14. Philipp Mayring (June 2000): Qualitative Content Analysis. Forum: Qualitative Social Research 1(2). Online Journal, 1(2). Available at: [Date of access: 08, 2014].
  15. Jakob Nielsen (1993): Usability Engineering. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
  16. Tobias Nipkow, Lawrence C. Paulson & Markus Wenzel (2002): Isabelle/HOL: A Proof Assistant for Higher-Order Logic. LNCS 2283. Springer, doi:10.1007/3-540-45949-9.
  17. Petra Vogt & Sven Heinsen (2003): Usability praktisch umsetzen: Handbuch für Software, Web, Mobile Devices und andere interaktive Produkte. Hanser.
  18. V. Vujosevic & G. Eleftherakis (2006): Improving Formal Methods' Tools Usability. In: G. Eleftherakis: 2nd South-East European Workshop on Formal Methods (SEEFM 05), Formal Methods: Challenges in the Business World, Ohrid, 18-19 Nov 2005. South-East European Research Centre (SEERC).

Comments and questions to:
For website issues: