@misc{indiciae92d8f01bd6ec,
  title = {Programming Without Refining},
  author = {Marwa Benabdelali and Lamia Labed Jilani and Wided Ghardallou and Ali Mili},
  year = {2018},
  doi = {10.4204/eptcs.282.4},
  url = {https://arxiv.org/abs/1810.09616},
  note = {Source identifier: 1810.09616}
}