"Formal Methods and Software Engineering: 11th International Conference on Formal Engineering Methods ICFEM 2009, Rio de Janeiro, Brazil, December ... Programming and Software Engineering)" - читать интересную книгу автора (Karin Breitman, Ana Cavalcanti)