Recent Trends in Data Type Specification(1st Edition) 3rd Workshop on Theory and Applications of Abstract Data Types Selected Papers (Informatik-Fachberichte) द्वारा Hans-JörgKreowski Paperback, 253 पन्ने, प्रकाशित 1986 द्वारा Springer ISBN-13: 978-3-540-16077-9, ISBN: 3-540-16077-9
"This volume contains the major part of the contributions to the 3rd Workshop on Theory and Appl ications of Abstract Data Types held in Bremen (Germany) from November 13 to November 16, 1984. The workshop, as both its predecessors (Sorpesee, 1982 and Passau, 1983), brought together many researchers interested in algebraic specifications and related topics. It provided an opportunity to present the latest, even unfinished, work and to di ..."