El debate acerca de la verificación formal de los programas - Blanco, Javier (2009)
Fil: Blanco, Javier. Universidad Nacional de Córdoba; Argentina.