Jacques Loeckx Annette Hoffmann Verification in OBSCURE. 1988 ADT db/conf/adt/adt1988.html#LoeckxH88