@article{johnsonuniversal,
  title={Universal Updates for Symmetric Lenses},
  author={Johnson, Michael and Rosebrugh, Robert}
}