in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 785 LNCS, Pages: 337-350
Conference
9Th Workshop on Specification of Abstract Data Types Joint with 4Th Compass Workshop, 1992, Date: 26 October 1992 through 30 October 1992
