@misc{indiciae96d6eb5f365d,
  title = {CrocoPat 2.1 Introduction and Reference Manual},
  author = {Dirk Beyer and Andreas Noack},
  year = {2004},
  url = {https://arxiv.org/abs/cs/0409009},
  note = {Source identifier: cs/0409009}
}