Jones, N. D. “Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof”. DAIMI Report Series, vol. 9, no. 107, Jan. 1980, doi:10.7146/dpb.v9i107.6522.