@misc{indiciae243c3bf68d48,
  title = {Reasoning about effects: from lists to cyber-physical agents},
  author = {Ian A. Mason and Carolyn L. Talcott},
  year = {2019},
  doi = {10.23638/lmcs-15(2:8)2019},
  url = {https://arxiv.org/abs/1801.08450},
  note = {Source identifier: 1801.08450}
}