Rigorous Methods for Software Construction and Analysis : Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday - Jean-Raymond Abrial, Uwe Glässer ((Lecture Notes in Computer Science))