The implementation technology of the Mercury debugger (1999)

by Z Somogyi, F Henderson
Venue:In Proc. of the 10th WLPE, volume 30(4). Elevier, ENTCS