Mayoh, B. H. “Data Types As Functions”. DAIMI Report Series, vol. 7, no. 89, July 1978, doi:10.7146/dpb.v7i89.6504.