https://1library.org/document/q0p8de3z-universidade-federal-do-espirito-santo-centro-de-ciencias-agrarias-cca-ufes-departamento-de-computacao-metodo-dedutivo.html