Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday - Abrial, Jean-Raymond; Glässer, Uwe (Springer Berlin Heidelberg, 2009)