Alan L. Selman Much Ado about Functions. 198-212 https://doi.org/10.1109/CCC.1996.507682 https://doi.ieeecomputersociety.org/10.1109/CCC.1996.507682 1996 conf/coco/1996 CCC db/conf/coco/coco96.html#Selman96