H. Pacheco, A. Cunha, and Z. Hu, “Delta Lenses over Inductive Types”, eceasst, vol. 49, Jul. 2012.