Declarative error diagnosis (1987)

by J W Lloyd
Venue:New Generation Computing