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