@misc{indiciae7a6c422394fa,
  title = {Syntheto: A Surface Language for APT and ACL2},
  author = {Alessandro Coglio and Eric McCarthy and Stephen Westfold and Daniel Balasubramanian and Abhishek Dubey and Gabor Karsai},
  year = {2022},
  doi = {10.4204/eptcs.359.13},
  url = {https://arxiv.org/abs/2205.11706},
  note = {Source identifier: 2205.11706}
}