J. Kollár, “Unified Approach to Environments in a Process Functional Language”, Comput. Inform., vol. 22, no. 5, pp. 439–456, Feb. 2012.