Pieter W. M. Koopman, Rinus Plasmeijer: Synthesis of Functions Using Generic Programming. AAIP 2009: 25-49