Jones, Neil D. “Circularity Testing of Attribute Grammars Requires Exponential Time: A Simpler Proof”. DAIMI Report Series 9, no. 107 (January 1, 1980). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/6522.