OBSCURE: A Specification Language for Abstract Data Types.

Thomas Lehmann Jacques Loeckx OBSCURE: A Specification Language for Abstract Data Types. 303-350 1993 30 Acta Inf. 4 db/journals/acta/acta30.html#LehmannL93