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