University of Auckland, 415.360 Functional and Logic Programming,
1996