Kollár, J. (2003). Unified Approach to Environments in a Process Functional Language. Computing and Informatics, 22(5), 439–456. https://cai.type.sk/content/2003/5/unified-approach-to-environments-in-a-process-functional-language/