Programming with equations (1982)

by C M Hoffman, M J O’Donnell
Venue:ACM TOPLAS