Execução fiscal – Instituto de Aposentadoria e Pensões dos Empregados em Transportes e Cargas e José Abdo Abjaudi; José Luís Renaut de Mendonça, José de Araújo Dias e Francisco Oscar Penteado Stevenson (1951–1955)