@misc{indiciae99ea93bcfd6d,
  title = {Stateful Behavioral Types for ABS},
  author = {Eduard Kamburjan and Tzu-Chun Chen},
  year = {2018},
  url = {https://arxiv.org/abs/1802.08492},
  note = {Source identifier: 1802.08492}
}