Recent Trends in Data Type Specification : 11th Workshop on Specification of Abstract Data Types, Joint with the 8th Compass Workshop, Oslo, Norway, S

by Magne Haveraaen, Olaf Owe, Ole-Johan Dahl Paperback 1996