An Introduction to OrweN (1985)

by P Wadler, Q Miller