Verification in OBSCURE. - Jacques Loeckx; Annette Hoffmann (ADT, 1988)