P. Grigorenko and E. Tyugu, “Higher-Order Attribute Semantics of Flat Declarative Languages”, Comput. Inform., vol. 29, no. 2, pp. 251–280, Jan. 2012.