Mayoh, B.H. 1978. Data Types as Functions. DAIMI Report Series. 7, 89 (Jul. 1978). DOI:https://doi.org/10.7146/dpb.v7i89.6504.