The implementation technology of the Mercury debugger (1999)

by Z Somogyi, F Henderson
Venue:Electronic Notes in Theoretical Computer Science