"Formal Methods and Software Engineering, 9 conf., ICFEM 2007" - читать интересную книгу автора (Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie)