in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 655, Pages: 40-65 (26)
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
