Os suplicantes eram funcionários públicos federais autárquicos, lotados na Inspetoria Regional da Estatística Municipal do Instituto Brasileira de Geografia e Estatística. Estes requereram um mandado de segurança para assegurarem a contagem de tempo de serviço prestado anterior a Lei nº 3780 de 12/07/1960 para a concessão de progressão horizontal a que tinham direito. Foi negada a segurança. O impetrado agravou e o Tribunal Federal de Recursos negou provimento