Computación IV : diseño de los sistemas digitales: combinatorios, secuenciales, funcionales e interactivos - Ibarra-Quevedo, Raúl (Instituto Politécnico Nacional, 1999)