Lehmann T. and J. Loeckx. The specification language of OBSCURE. In Recent Trends in Data Type Specification, Selected Papers from the 5th Workshop on Specification of Abstract Data Types, pages 131-153. Springer LNCS 332, 1988

Languages mentioned

• OBSCURE {1985}