@misc{indiciae6561d044554c,
  title = {Reasoning about Interior Mutability in Rust using Library-Defined Capabilities},
  author = {Federico Poli and Xavier Denis and Peter Müller and Alexander J. Summers},
  year = {2024},
  url = {https://arxiv.org/abs/2405.08372},
  note = {Source identifier: 2405.08372}
}