Catching bugs in the web of program invariants (1996)

by C Flanagan, M Flatt, S Krishnamurthi, S Weirich, M Felleisen
Venue:SIGPLAN Not