@article{wilson2020safari,
  title = "The Safari of Update Structures: Visiting the Lens and Quantum Enclosures",
  author = "Matthew Wilson and James Hefford and Guillaume Boisseau and Vincent Wang",
  year = "2021",
  journal = "EPTCS",
  note = "In Proceedings ACT 2020",
  pages = "1-18",
  url = "https://arxiv.org/abs/2005.05293",
  volume = "333",
  doi = "10.4204/EPTCS.333.1",
}