@misc{indiciae32fdf2e70d1a,
  title = {Hennessy-Milner Logic with Greatest Fixed Points as a Complete Behavioural Specification Theory},
  author = {Nikola Beneš and Benoît Delahaye and Uli Fahrenberg and Jan Křetínský and Axel Legay},
  year = {2013},
  url = {https://arxiv.org/abs/1306.0741},
  note = {Source identifier: 1306.0741}
}