@misc{indiciae68d35ad00b94,
  title = {On the specification of operations on the rational behaviour of systems},
  author = {Marcello M. Bonsangue and Stefan Milius and Jurriaan Rot},
  year = {2012},
  doi = {10.4204/eptcs.89.2},
  url = {https://arxiv.org/abs/1208.2746},
  note = {Source identifier: 1208.2746}
}