Mayoh, Brian H. “Data Types As Functions”. DAIMI Report Series 7, no. 89 (July 1, 1978). Accessed February 5, 2026. https://tidsskrift.dk/daimipb/article/view/6504.