Enviar aquest missatge de text: Rigorous methods for software construction and analysis : essays dedicated to Egon Börger on the occasion of his 60th birthday / volume editor, Jean-Raymond Abrial, Uwe Glässer.