@misc{indiciae03fa4ac1802b,
  title = {A process calculus with finitary comprehended terms},
  author = {J. A. Bergstra and C. A. Middelburg},
  year = {2013},
  doi = {10.1007/s00224-013-9468-x},
  url = {https://arxiv.org/abs/0903.2914},
  note = {Source identifier: 0903.2914}
}