Cardoso R. Rodrigo Verificación y Desarrollo de Programas - 1993 ISBN: 958-9057-20-9 Dewey Class. No.: 005.1 C268v