Recent trends in data type specification: 10th Workshop on Specification of Abstract Data Types, joint with the 5th COMPASS Workshop, S. Margherita, ... papers (Lecture notes in computer science)

ISBN: 978-0-387-59132-2

ISBN-10: 0-387-59132-X