Programming with Equations (1982)

by C M Hoffmann, M J O’Donnell
Venue:ACM Transactions on Programming Languages and Systems