Reasoning about Functional Programs (1988)

by Ross Paterson