Pacheco, H.; Cunha, A.; Hu, Z. Delta Lenses over Inductive Types. ECEASST 2012, 49.