@misc{indiciae5ada5b455b89,
  title = {Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations},
  author = {Atiyah Elsheikh},
  year = {2023},
  url = {https://arxiv.org/abs/2308.13081},
  note = {Source identifier: 2308.13081}
}