"Formal Methods and Software Engineering, 10 conf., ICFEM 2008" - читать интересную книгу автора