Andrea Asperti Paolo Coppola Simone Martini (Optimal) Duplication is not Elementary Recursive. 96-107 2000 POPL http://doi.acm.org/10.1145/325694.325707 db/conf/popl/popl2000.html#AspertiCM00