Cunha A.? 2003.??Automatic Visualization of Recursion Trees: a Case Study on Generic Programming. Electronic Notes in Theoretical Computer Science. 86(3):70-84.