@inproceedings{clouston_generalised_2013,
  title={Generalised name abstraction for nominal sets},
  author={Clouston, Richard},
  booktitle={International Conference on Foundations of Software Science and Computational Structures},
  pages={424--438},
  year={2013},
  organization={Springer}
}