Goddard, Wayne. “Automated Bounds on Recursive Structures”. Utilitas Mathematica 75 (May 9, 2008). Accessed November 6, 2026. https://utilitasmathematica.com/index.php/Index/article/view/564.