J. S. Aitken P. Gray T. Melham M. Thomas 1998 Journal of Symbolic Computation 25 2 263–284 10.1006/jsco.1997.0175 J. Stuart Aitken Thomas F. Melham 2000 Interacting with Computers 12 6 565–586 10.1016/S0953-5438(99)00023-5 Stuart Aitken Philip Gray Tom Melham Muffy Thomas 1995 Chris Johnson Task Centred Approaches To Interface Design: Glasgow Interactive Systems Group Research Review Department of Computing Science, University of Glasgow 195–218 GIST Technical Report G95.2 Bernhard Beckert Sarah Grebing 2012 Proceedings, 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE), Manchester, UK, June 30, 2012 CEUR Workshop Proceedings 873 CEUR-WS.org 3–17 http://ceur-ws.org/Vol-873 Bernhard Beckert Reiner Hähnle Peter H. Schmitt 2007 LNCS 4334 Springer-Verlag 10.1007/978-3-540-69061-0 Alan Blackwell Thomas R. Green 2007 www.cl.cam.ac.uk/ãfb21/CognitiveDimensions/CDquestionnaire.pdf Stanley Caplan 1990 Ergonomics 33 5 527–533 10.1080/00140139008927160 http://www.tandfonline.com/doi/abs/10.1080/00140139008927160 James Cheney 2001 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 Technical Report King Baudoin Foundation and Flemish Institute for Science and Technology Assessment (viWTA) Michael Jackson Andrew Ireland G. Reid 1999 Formal Aspects of Computing 11 3 302–325 10.1007/s001650050052 Gada Kadoda Roger Stone Dan Diaper 1996 Proceedings of the 11th Annual Workshop of the Psychology of Programming Interest Group Bettina Laugwitz Theo Held Martin Schrepp 2008 Andreas Holzinger HCI and Usability for Education and Work Lecture Notes in Computer Science 5298 Springer Berlin Heidelberg 63–76 10.1007/978-3-540-89350-9_6 Philipp Mayring 1996 Weinheim: Psychologie Verlags Union Philipp Mayring June 2000 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 Morgan Kaufmann Publishers Inc.

San Francisco, CA, USA

Tobias Nipkow Lawrence C. Paulson Markus Wenzel 2002 LNCS 2283 Springer 10.1007/3-540-45949-9 Petra Vogt Sven Heinsen 2003 Hanser V. Vujosevic G. Eleftherakis 2006 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)