@misc{indiciae3b8573765cfe,
  title = {Nominal Automata with Name Binding},
  author = {Lutz Schröder and Dexter Kozen and Stefan Milius and Thorsten Wißmann},
  year = {2021},
  url = {https://arxiv.org/abs/1603.01455},
  note = {Source identifier: 1603.01455}
}