https://1library.org/document/qvlwo6kr-algoritmos-bsp-cgm-para-o-fecho-transitivo.html