REGULAMENTO DA CARTEIRA PROFISSIONAL DOS EMPREGADOS DE BANCA DOS CASINOS: PUBLICADO NO BOLETIM DO INPT, Nº 34 DE 15.09.73