@misc{indiciaec675148b9864,
  title = {Forward Build Systems, Formally},
  author = {Sarah Spall and Neil Mitchell and Sam Tobin-Hochstadt},
  year = {2022},
  doi = {10.1145/3497775.3503687},
  url = {https://arxiv.org/abs/2202.05328},
  note = {Source identifier: 2202.05328}
}