Os autores ,nacionalidade portuguesa, residentes em Portugal, fundamentados na Lei nº 1533 de 31/12/1951, artigo 1 e no Decreto-Lei nº 9330 de 10/06/1946, artigo 1 e 2, requereram um mandado de segurança contra o réu por lhes estar cobrando o pagamento do Imposto sobre Lucro Imobiliário pela venda de imóveis na Rua Gago Coutinho números 56 e 60. Alegaram que os imóveis foram adquiridos por herança com a morte de Antônio Mendes de Castro Vasconcelos, Maria das Dores Partinho Pereira Leite de Vasconcelos e Maria Ana de Lourdes Leite de Vasconcelos Andrade e Castro e, portanto, não estavam sujeitos ao referido imposto. Foi concedido a segurança, recorrendo de ofício. A união agravou e o Tribunal Federal de Recursos negou provimento ao agravo.