DUEL - A Very High-Level Debugging Language. - Michael Golan; David R. Hanson (USENIX Winter, 1993)