https://1library.org/document/y9rokwdy-ferramenta-baseada-aspectos-funcional-programas-andré-dantas-rocha.html