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