B. H. Mayoh, “Data Types as Functions”, DPB, vol. 7, no. 89, Jul. 1978.