"Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures (Lecture Notes in Computer Science) " - читать интересную книгу автора (Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever)