Barbosa MB, Cunha A, Pinto JS.? 2005.??Recursion Patterns and Time-analysis. SIGPLAN Notices. 40(5):45?54.