Maquinas logicas y diagramas / Gardner.