https://1library.org/document/zgdg9wvz-diario-da-republica-a-serie-n-o-julho.html