The stratified loose approach: A generalization of initial and loose semantics (1987)

by M Bidoit
Venue:In Recent Trends in Data Type Specification, Selected Papers of the 5th Workshop on Specifications of Abstract Data Types