@misc{indiciae30217e524d31,
  title = {Trustworthy Formal Natural Language Specifications},
  author = {Colin S. Gordon and Sergey Matskevich},
  year = {2023},
  doi = {10.1145/3622758.3622890},
  url = {https://arxiv.org/abs/2310.03885},
  note = {Source identifier: 2310.03885}
}