Os autores eram funcionários públicos aposentados. Requereram mandado de segurança, com base na Lei nº 1533 de 31/12/1951, contra o Diretor da Despesa Pública, a fim de que o réu fosse compelido judicialmente a atribuir aos vencimentos dos autores os benefícios estabelecidos pela Lei nº 4242 de 1963, artigo 18. Eram funcionários aposentados do Superior Tribunal Militar, portanto, servidores do Poder Judiciário. O juiz negou a segurança. Houve agravo ao Tribunal Federal de Recursos, que foi provido. Houve recurso extraordinário ao Supremo Tribunal Federal, que deu provimento. Lei nº 1533 de 31/12/1951; Constituição Federal de 1946, artigo 141, parágrafo 24; Lei nº 1765 de 1952; Lei nº 264 de 1948; Lei nº 4242 de 1963; Lei nº 4069 de 1962; 2 Guia de Pagamento, Taxa Judiciária, Secretaria de Finanças, Departamento de Rendas Diversas, 1963, 1964; Jornal, Diário do Congresso, 03/08/1963; 10 Resumo de Cheque, Ministério da Fazenda, Tesouro Nacional, Diretoria da Despesa Pública, 1963; 6 Procuração, Tabelião Carmen Coelho, Rua São José, 85, Estado da Guanabara, 1963; Custas Processuais, 1964.