Mayoh, B. H. Data Types As Functions. DPB 1978, 7.