Finding the source of type errors (1986)

by M Wand
Venue:In POPL ’86