Goddard, Wayne, “Automated bounds on recursive structures”, A Canadian journal of applied mathematics, computer science and statistics, vol. 75, May 2008.