@misc{indiciae58ac89d1a6af,
  title = {On infinite guarded recursive specifications in process algebra},
  author = {R. J. van Glabbeek and C. A. Middelburg},
  year = {2020},
  url = {https://arxiv.org/abs/2005.00746},
  note = {Source identifier: 2005.00746}
}