N. D. Jones, “Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof”, DPB, vol. 9, no. 107, Jan. 1980.