Grigorenko, P. and Tyugu, E. 2012. Higher-Order Attribute Semantics of Flat Declarative Languages. Computing and Informatics. 29, 2 (Jan. 2012), 251–280.