@misc{indiciae00cd2f5d0645,
  title = {On the Meaning of Transition System Specifications},
  author = {Rob van Glabbeek},
  year = {2019},
  doi = {10.4204/eptcs.300.5},
  url = {https://arxiv.org/abs/1908.08635},
  note = {Source identifier: 1908.08635}
}