@misc{indiciaed9dda2009340,
  title = {Verified Reversible Programming for Verified Lossless Compression},
  author = {James Townsend and Jan-Willem van de Meent},
  year = {2022},
  url = {https://arxiv.org/abs/2211.09676},
  note = {Source identifier: 2211.09676}
}