Cunha A, Pacheco H.? 2011.??Algebraic Specialization of Generic Functions for Recursive Types. Electronic Notes in Theoretical Computer Science. 229:57?74.