Theory and Practice of Formal Methods Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday - Ábrahám, Erika; Bonsangue, Marcello; Johnsen, Einar Broch (Springer International Publishing : Imprint: Springer, 2016)