"Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday (Lecture Notes in Computer Science)" - читать интересную книгу автора (Jean-Raymond Abrial, Uwe Glasser)