Some mathematical aspects of functional programming. Functional Programming and its Applications (1982)

by J E Stoy