@misc{indiciae4359081a1708,
  title = {Translating declarative control elements to imperative using 'l-value redefinition graphs'},
  author = {Anthony Savidis},
  year = {2021},
  url = {https://arxiv.org/abs/2103.03309},
  note = {Source identifier: 2103.03309}
}