Michael Golan David R. Hanson DUEL - A Very High-Level Debugging Language. 107-118 1993 USENIX Winter db/conf/usenix/usenix_wi93.html#GolanH93