Grigorenko, P., & Tyugu, E. (2010). Higher-Order Attribute Semantics of Flat Declarative Languages. Computing and Informatics, 29(2), 251–280. https://cai.type.sk/content/2010/2/higher-order-attribute-semantics-of-flat-declarative-languages/