https://livrandante.com.br/livros/clotilzio-moreira-dos-santos-aparecida-francisco-da-silva-aspectos-formais-da-computacao/