Desarrollo plausible de pruebas de correctitud de programas - Gómez-Meneses, Vicente (V.Gómez M., 1988)