"Recent Trends in Data Type Specification: 10th Workshop on Specification of Abstract Data Types Joint with the 5th COMPASS Workshop, S. Margherita, ... " - читать интересную книгу автора (Egidio Astesiano, Gianna Reggio, Andrzej Tarlecki)