https://1library.org/document/y4x392vz-logica-computacional-dcc-fcup.html