Cunha A, Pacheco H, Hu Z.? 2012.??Delta Lenses over Inductive Types. Electronic Communications of the EASST. 49:1-17.