[1]
G. Riedewald and P. Forbig, “Software specification methods and attribute grammars”, Acta Cybern, vol. 8, no. 1, pp. 89-114, Jan. 1987.