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