"Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)" - читать интересную книгу автора (Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever)