An introductory course on programming based on formal specification and program calculation. - Javier Blanco; Leticia Losano; Nazareno Aguirre; María Marta Novaira; Sonia Permigiani; Gastón Scilingo (ACM SIGCSE Bull., 2009)

An Analysis of the Impact of Field-Value Instance Navigation in Alloy's Model Finding. - César Cornejo; María Marta Novaira; Sonia Permigiani; Nazareno Aguirre; Marcelo F. Frias; Simón Gutiérrez Brida; Germán Regis (ABZ, 2024)