@misc{indiciae4354ced53f13,
  title = {Desiree - a Refinement Calculus for Requirements Engineering},
  author = {Feng-Lin Li and John Mylopoulos},
  year = {2016},
  url = {https://arxiv.org/abs/1604.03184},
  note = {Source identifier: 1604.03184}
}