@article{BFM17,
  author    = {Michael Blondin and Alain Finkel and Pierre McKenzie},
  title     = {Well Behaved Transition Systems},
  journal   = {Logical Methods in Computer Science},
  number    = {3},
  volume    = {13},
  doi       = {10.23638/LMCS-13(3:24)2017},
  year      = {2017}
}