@misc{indiciae540e6f62cfa6,
  title = {Tutorial on the Executable ASM Specification of the AB Protocol and Comparison with TLA\$\textasciicircum{}+\$},
  author = {Paolo Dini and Manuel Bravo and Philipp Paulweber and Alexander Raschke and Gabriela Moreira},
  year = {2023},
  url = {https://arxiv.org/abs/2301.10875},
  note = {Source identifier: 2301.10875}
}