The stratified loose approach: a generalization of initial and loose semantics (1988)

by M Bidoit
Venue:Selected Papers from the 5th Workshop on Specification of Abstract Data Types, Gullane. Springer LNCS 332