by Workshop on Specification of Abstract Data Types (11th 1995 Oslo, Norway)
"This book contains a strictly refereed selection of revised full papers chosen from the papers accepted for presentation during the 11th Workshop on Abstract Data Types held jointly with the 8th C…