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