DUEL - a very high-level debugging language (1993)

by M Golan, D R Hanson
Venue:In USENIX Winter