"Mathematical Frameworks for Component Software: Models for Analysis and Synthesis (Series on Component-Based Software Development) (Series on Component-Based Software Development)" - читать интересную книгу автора (Zhiming Liu, He Jifeng)