Grigorenko, P.; Tyugu, E. Higher-Order Attribute Semantics of Flat Declarative Languages. Comput. Inform. 2012, 29, 251-280.