Theory and Practice of Formal Methods - Erika Ábrahám, Marcello Bonsangue, Einar Broch Johnsen (Springer International Publishing, 2016)