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.
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.
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.
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.
CEUR-WS.org,
pp. 3–17.
Available at http://ceur-ws.org/Vol-873.
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.
Alan Blackwell & Thomas R. Green (2007):
A Cognitive Dimensions Questionnaire (Version 5.1.1).
www.cl.cam.ac.uk/ãfb21/CognitiveDimensions/CDquestionnaire.pdf.
James Cheney (2001):
Project Report – Theorem Prover Usability.
Technical Report.
Report of project COMM 641, available at http://homepages.inf.ed.ac.uk/jcheney/projects/tpusability.ps.
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).
Michael Jackson, Andrew Ireland & G. Reid (1999):
Interactive Proof Critics.
Formal Aspects of Computing 11(3),
pp. 302–325,
doi:10.1007/s001650050052.
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.
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.
Philipp Mayring (1996):
Einführung in die qualitative Sozialforschung – Eine Anleitung zu qualitativem Denken (Introduction to qualitative social research).
Weinheim: Psychologie Verlags Union.
Philipp Mayring (June 2000):
Qualitative Content Analysis.
Forum: Qualitative Social Research 1(2).
Online Journal, 1(2). Available at: http://www.qualitative-research.net/index.php/fqs/article/view/1089 [Date of access: 08, 2014].
Jakob Nielsen (1993):
Usability Engineering.
Morgan Kaufmann Publishers Inc.,
San Francisco, CA, USA.
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.
Petra Vogt & Sven Heinsen (2003):
Usability praktisch umsetzen: Handbuch für Software, Web, Mobile Devices und andere interaktive Produkte.
Hanser.
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).