Zheng, G., T. Nguyen, S. Gutierrez Brida, G. Regis, N. Aguirre, M. F. Frias, y H. Bagheri. ATR: Template-Based Repair for Alloy Specifications. Memorias De Las JAIIO, Vol. 8, n.º 3, Dec. 2022, pp. 71-71, https://publicaciones.sadio.org.ar/index.php/JAIIO/article/view/303.