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