"Formal methods for components and objects : 6th international symposium : revised papers" - читать интересную книгу автора (Frank S de Boer; et al )