Theory and practice of formal methods Essays dedicated to Frank de Boer on the occasion of his 60th birthday - Ábrahám, Erika 1970- (Springer, 2016)