@misc{indiciae37d3ce77ee7c,
  title = {Progress Report on a Proposed Theory for Software Development},
  author = {Diana Kirk and Stephen G. MacDonell},
  year = {2021},
  doi = {10.5220/0005552401610167},
  url = {https://arxiv.org/abs/2103.03400},
  note = {Source identifier: 2103.03400}
}