Grigorenko, P., & Tyugu, E. (2012). Higher-Order Attribute Semantics of Flat Declarative Languages. Computing and Informatics, 29(2), 251–280. Retrieved from https://www.cai.sk/ojs/index.php/cai/article/view/83