Transactions in object-oriented specifications (1995)

by G Denker
Venue:Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types, Joint with the 5th COMPASS Workshop; S. Margherita, Italy, number 906 in LNCS