Os impetrantes, funcionários do IAPETC, com base na Lei n° 4019 de 20/12/1961, artigo 2 e 4, e no Decreto n° 807 de 30/03/1962, impetraram um mandado de segurança no qual requereram a incorporação aos seus vencimentos da gratificação de 30 porcento, diária de Brasília, a partir da Lei n° 4019. O juiz Sergio Mariano concedeu a segurança, a parte impetrada agravou ao Tribunal Federal de Recursos que deu provimento.