Os impetrantes eram funcionários públicos federais aposentados. Impetraram mandado de segurança contra ato da impetrada, que pretendia reduzir o pagamento dos seus proventos, sob o pretexto de teto salarial instituído pela Lei n° 4242 de 17/07/1963, artigo 18. O juiz substituto José Tavares denegou a segurança. A parte impetrante agravou ao Tribunal Federal de Recursos, porém não foi dado procedimento ao despacho de folha 71. O processo foi arquivado