@article{bojanczyk2014automata,
  title={Automata theory in nominal sets},
  author={Boja{\'n}czyk, Miko{\l}aj and Klin, Bartek and Lasota, S{\l}awomir},
  journal={Logical Methods in Computer Science},
  volume={10},
  year={2014},
  publisher={Episciences. org}
}