@article{formalspecificationterminologyfor,
  title = {Formal specification terminology for demographic agent-based models of fixed-step single-clocked simulations},
  author = {Atiyah Elsheikh},
  year = {2023},
  eprint = {2308.13081},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2308.13081v3},
}