Guías para el desarrollo de programas a través de pruebas de correctitud : proyecto II - Gómez Meneses, Vicente (Centro de Investigaciones en Computación, Instituto Tecnológico de Costa Rica, 1989)