author = { Europäische Kommission Europäisches Strategisches Programm für Forschung und Entwicklung auf dem Gebiet der Informationstechnologie Working Group Comprehensive Algebraic Approach to System Specification and Development AND Workshop on Specification of Abstract Data Types 8 1991 Dourdan AND COMPASS 3 1991 Dourdan Bidoit, Michel },

title = { Recent trends in data type specification 8th Workshop on Specification of Abstract Data Types joint with the 3rd COMPASS Workshop, Dourdan, France, August 26 - 30, 1991 ; selected papers },

publisher = {Springer},

isbn = {3540563792},

isbn = {0387563792},

keywords = { Abstract data types (Computer science) Congresses , Konferenzschrift , Konferenzschrift 1991 Dourdan , Abstrakter Datentyp , Spezifikation },

year = {1993},

abstract = {Literaturangaben},

booktitle = {Lecture notes in computer science ; 655},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }