Return to Article Details Composing Least-change Lenses Download Download PDF