clouston_generalised_2013:
  type: article
  title: Generalised name abstraction for nominal sets
  author: Clouston, Richard
  date: 2013
  page-range: 424-438
  parent:
    type: proceedings
    title: International Conference on Foundations of Software Science and Computational Structures
    organization: Springer