diff --git a/org.rodinp.handbook.feature/latex/rodin-doc.tex b/org.rodinp.handbook.feature/latex/rodin-doc.tex
index 9bcf3dfc55658392c53594b9b4ebbb75b4edf95b..74abb5390e59d691d3c6710f6f5cf91b78158f05 100644
--- a/org.rodinp.handbook.feature/latex/rodin-doc.tex
+++ b/org.rodinp.handbook.feature/latex/rodin-doc.tex
@@ -212,7 +212,7 @@ The abstract states: ``[\ldots] we present the Rodin modelling tool that seamles
 
 The authors J.-R.~Abrial, M.~Butler, S.~Hallerstede, T.~S.~Hoang, F.~Mehta and L.~Voisin have published the article in the journal Software Tools and Technology Transfer (STTT).
 
-\subsection{The b-method, an introduction (Steve Schneider)}
+\subsection{The B-Method, an Introduction (Steve Schneider)}
 \label{schneider_book}
 
 This text represents the ``standard textbook'' for learning formal modeling in B (rather than Event-B).  As Event-B is similar to B, this book is a great introduction to the topic, allowing students to get acquainted with the subject matter, even without an instructor. (ISBN: 978-0333792841)
@@ -221,6 +221,11 @@ This text represents the ``standard textbook'' for learning formal modeling in B
 
 Those interested in more general guidelines on how to develop and structure formal models in Event-B, the paper ``Towards a Cookbook for Modelling and Refinement of Control Problems''\footnote{\url{http://deploy-eprints.ecs.soton.ac.uk/108/}} may be of interest.  It is an ``attempt to develop some guidelines on modelling control problems in Event-B''. 
 
+\subsection{Proofs for the Working Engineer (2008)}
+In his dissertation at the ETH Zurich Fahrad Mehta describes how theorem proving
+can be a practical tool for an engineer and presented the ideas that are used
+in building the fundament of Rodin.
+
 \section{Conventions}
 \label{conventions}
 
@@ -240,6 +245,8 @@ We use \textsf{sans serif font} for GUI elements like menus and buttons.  Menu a
 
 The content of this handbook has been growing since the formation of the European Union IST Project RODIN in 2004.  Giving credit to every contributor is almost impossible and attempting to do so would almost certainly omit some people, which would contradict the spirit of this work.  It should be sufficient to say that we extend our gratitude to all contributors to the Rodin Wiki (\ref{rodin_wiki}). In particular, we would like to thank Systerel\footnote{\url{http://www.systerel.fr}} for their significant contributions to the handbook as they have been the main driver behind the tool and its documentation.
 
+Jean-Raymond Abrial and the team at the ETH Zurich had a mayor influence in the development of Event-B and the Rodin project. Thank you very much!
+
 We would also like to thank Cliff Jones, who never gave up the quest to improve the Rodin documentation, and Ken Robinson, who contributed the \file{EventB-Summary.pdf}{Event-B Cheat Sheet}.
 
 We are grateful to the editorial team that made this book possible in the first place, consisting of Daniel Plagge, Lukas Ladenberger and Joy Clark.  We also thank Prof. Michael Leuschel, department head of the institute of software technology and programming languages at the University of Düsseldorf, who supported us in pursuing this project.