N. Macedo, H. Pacheco, A. Cunha, and J. Oliveira, “Composing Least-change Lenses”, eceasst, vol. 57, Sep. 2013.