Automatic visualization of recursion trees: a case study on generic programming - Cunha, Alcino (2003)