"Recent Trends in Data Type Specification: 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de ... Papers " - читать интересную книгу автора (Hartmut Ehrig, Fernando Orejas)