Os autores eram funcionários públicos do IPASE. Requereram mandado de segurança, com base na Lei nº 1533 de 31/12/1951, contra o Presidente do Instituto, a fim de que este fosse compelido judicialmente a lhes pagar os benefícios estabelecidos pela Lei nº 3780 de 12/07/1960. O juiz Jônatas Milhomens concedeu a segurança. Houve agravo ao Tribunal Federal de Recursos, que deu provimento aos recursos. Houve recurso ordinário ao Supremo Tribunal Federal, que foi concluso, pois o recurso correto seria o recurso extraordinário, e a parte não mudou o recurso no prazo legal de 5 dias. 59 Procuração, Tabelião Carmen Coelho, Rua São José, 85, Estado da Guanabara, 1961; Tabelião Eronides Ferreira de Carvalho, 14º Oficio de Notas, Rua 7 de Setembro, 63 - RJ, 1961; Certidão emitida pelo IPASE, 1961; 2 Boletim do IPASE nº 223 de 1961; 5 Jornal Diário do Congresso Nacional, 25/02/1960; Diário Oficial, 21/12/1960, 02/06/1960, 31/08/1964; A Noite, 31/01/1962; Diário do Congresso, 31/01/1962; Custas Processuais, 1961; 2 Resumo de Cheque, 1961; Portaria nº 2666 de 03/11/1961, IPASE; Constituição Federal de 1946, artigo 141, parágrafo 24; Lei nº 1533 de 1951; Lei nº 3780 de 1960; Lei nº 3205 de 1957; Lei nº 403 de 1948 .