Describir: Introduccion a la teoria matematica de las computadoras y de la programacion /