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)