"Recent Trends in Data Type Specification: 11th Workshop on Specification of Abstract Data Types, Joint with the 8th Compass Workshop, Oslo, Norway, ... 11th " - читать интересную книгу автора (Magne Haveraaen, Olaf Owe, Ole-Johan Dahl)