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)