Lehmann, Thomas and Loeckx, Jacques "OBSCURE: A Specification Language for Abstract Data Types" pp303-350

(1993) Acta Informatica 30(4) July, 1993  

Languages mentioned OBSCURE {1985}