The authors are highly experienced researchers and lecturers in the domain of this book, in particular they have class-tested its content at TU Eindhoven and the University of Oxford.Prof. Jan Friso Groote, Eindhoven University of Technology, Dept of Mathematics & Computer Science, EINDHOVEN, The NetherlandsMr. Rolf Morel, University of Oxford, Computer Science, OXFORD, United KingdomDr. Julien Schmaltz, Eindhoven University of Technology, Mathematics and Computer Science, EINDHOVEN, The NetherlandsDr. Adam Watkins, Eindhoven University of Technology, Mathematics and Computer Science, EINDHOVEN, The Netherlands