OBSCURE

"A Formal Description of the Specification Language OBSCURE", J. Loeckx, TR A85/15, University of Saarlandes, Saarbrucken, 1985.