"Recent Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, ... 8th " - читать интересную книгу автора (Michel Bidoit, Christine Choppy)