The Specification Language of OBSCURE. - Thomas Lehmann 004; Jacques Loeckx (ADT, 1987)

A Notion of Implementation for the Specification Language OBSCURE. - Thomas Lehmann 004 (ADT, 1990)

Ein abstrakter Implementierungsbegriff für die Spezifikationssprache OBSCURE. - Thomas Lehmann 004 (1990)

OBSCURE: A Specification Language for Abstract Data Types. - Thomas Lehmann 004; Jacques Loeckx (Acta Informatica, 1993)