An introduction to Orwell. Programming Research (1987)

by P L Wadler, Q Miller, M Raskovsky