@misc{indiciae35b653a0ddc4,
  title = {Strategy Derivation for Small Progress Measures},
  author = {Maciej Gazda and Tim A. C. Willemse},
  year = {2015},
  url = {https://arxiv.org/abs/1407.2149},
  note = {Source identifier: 1407.2149}
}