@misc{indiciae99e34de8c84f,
  title = {Topologically sorting VDM-SL definitions for Isabelle/HOL translation},
  author = {Leo Freitas},
  year = {2023},
  url = {https://arxiv.org/abs/2304.15006},
  note = {Source identifier: 2304.15006}
}