David Aspinall 2000 Susanne Graf Michael I. Schwartzbach TACAS LNCS 1785 Springer 38–42 http://dx.doi.org/10.1007/3-540-46419-0_3 Serge Autexier 2005 Robert Nieuwenhuis Automated Deduction - CADE-20, 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings Lecture Notes in Computer Science 3632 Springer 84–98 http://dx.doi.org/10.1007/11532231_7 David A. Basin 1994 Elektronische Informationsverarbeitung und Kybernetik 30 5/6 249–259 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.3314 Yves Bertot P. (Pierre) Castéran 2004 Texts in theoretical computer science Springer Verlag 10.1007/978-3-662-07964-5 Yves Bertot Gilles Kahn Laurent Théry 1994 Masami Hagiya John C. Mitchell Theoretical Aspects of Computer Software, International Conference TACS '94, Sendai, Japan, April 19-22, 1994, Proceedings LNCS 789 Springer 141–160 http://dx.doi.org/10.1007/3-540-57887-0_94 Andrew Butterfield 2010 Shenchao Qin Unifying Theories of Programming, Third International Symposium, UTP 2010, Shanghai, China, November, 2010. LNCS 6445 Springer

Shanghai, China

137–156 http://dx.doi.org/10.1007/978-3-642-16690-7_6 Andrew Butterfield 2012 124–143 http://dx.doi.org/10.1007/978-3-642-35705-3_6 Abderrahmane Feliachi Marie-Claude Gaudel Burkhart Wolff 2012 Rajeev Joshi Peter Müller Andreas Podelski Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings Lecture Notes in Computer Science 7152 Springer 243–260 http://dx.doi.org/10.1007/978-3-642-27705-4_20 Simon Foster Frank Zeyda Jim Woodcock to appear David Naumann Unifying Theories of Programming, Fifth International Symposium, UTP 2014, National University of Singapore, May 13, 2014, David Gries Fred B. Schneider 1993 Texts and Monographs in Computer Science Berlin: Springer Verlag 10.1007/978-1-4757-3837-7 Eric C. R. Hehner 1984 Commun. ACM 27 2 134–151 10.1145/69610.357990 C. A. R. Hoare Jifeng He 1998 Prentice-Hall Dieter Hutter Claus Sengler 1996 Nicholas A. Merriam Proceedings International Workshop on User Interfaces for Theorem Provers N. Merriam 43–50 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.30.9511 Tobias Nipkow Lawrence C. Paulson Markus Wenzel 2002 Lecture Notes in Computer Science 2283 Springer http://www.springer.com/computer/theoretical+computer+science/book/978-3-540-43376-7 Natarajan Shankar 1996 Mandayam K. Srivas Albert John Camilleri Formal Methods in Computer-Aided Design, First International Conference, FMCAD '96 LNCS 1166 Springer 257–264 10.1007/BFb0031813 Jörg Siekmann Stephan Hess Christoph Benzmüller Lassaad Cheikhrouhou Armin Fiedler Helmut Horacek Michael Kohlhase Karsten Konrad Andreas Meier Erica Melis Martin Pollet Volker Sorge 1999 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.1864 Mark Staples 1995 http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.104.6012 George Tourlakis 2001 J. Log. Comput. 11 4 623–653 10.1093/logcom/11.4.623 http://www3.oup.co.uk/logcom/hdb/Volume_11/Issue_04/110623.sgm.abs.html Freek Wiedijk 2006 Lecture Notes in Computer Science 3600 Springer http://www.springer.com/computer/ai/book/978-3-540-30704-4 Frank Zeyda Ana Cavalcanti 2008 Andrew Butterfield Unifying Theories of Programming, Second International Symposium, UTP 2008, Trinity College, Dublin, Ireland, September 8-10, 2008, Revised Selected Papers Lecture Notes in Computer Science 5713 Springer 218–237 10.1007/978-3-642-14521-6\voidb@x 0.06emwidth0.5em13