on the Development of the Algebra of Functional Programs (1982)

by J H WILLIAMS
Venue:ACM Transactions on Programming Languages and Systems