in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 655, Pages: 236-253 (18)
Conference
8Th Workshop On Specification Of Abstract Data Types / 3Rd Compass Workshop, Date: AUG 26-30, 1991, Location: DOURDAN, FRANCE, Sponsors: UNIV PARIS SUD, ECOLE NORMALE SUPER, CNRS, ESPRIT, BASIC RES GRP COMPASS, CNRS, GDR PROGRAMMAT
