"A Formal Description of the Specification Language OBSCURE", J. Loeckx, TR A85/15, U Saarlandes, Saarbrucken, 1985.
Try this search on Wikipedia, OneLook, Google
Nearby terms: oblique stroke « Oblog « OBOE « OBSCURE » observational equivalence » Oc » OC-12
