Coglio, A. ., McCarthy, E. ., Westfold, S. ., Balasubramanian, D. ., Dubey, A. ., & Karsai, G. . (2022). Syntheto: A Surface Language for APT and ACL2. Electronic Proceedings in Theoretical Computer Science, 359. http://doi.org/10.4204/eptcs.359.13 (Original work published May 2022)