Os autores eram de profissão auxiliares de biblioteca nível 7 na Biblioteca Nacional. Com fundamento na Lei nº 1533 de 1951 requereram mandado de segurança contra o réu. Os impetrantes alegaram que a contagem do tempo de serviço para o pagamento de qüinqüênios deveria ser feito sobre todo o período de trabalho. A autoridade coatora, entretanto, considerava tão somente o período a partir da vigência da Lei nº 4383 de 1958. Os autores pediram a contagem de todo o período de trabalho. O juiz Evandro Gueiros Leite negou a segurança e condenou os impetrantes nas custas e nos honorários. A decisão sofreu agravo no Tribunal Federal de Recursos, onde os ministros, sob a relatoria de Henoch Reis, deram provimento ao agravo para conceder a segurança. Coube recurso extraordinário desta vez ao Supremo Tribunal Federal, onde os ministros deram provimento