Ivan Braga Pinto era de nacionalidade brasileira, estado civil casado, profissão médico, residente à Rua Coração de Maria, 1280. Amparados pela Lei nº 1533 de 31/12/1951, artigos 1 e 7, item II, impetraram um mandado de segurança contra a Diretoria da Recebedoria Federal por cobrança ilegal de tributo. O mandado visava impedir o pagamento do Imposto do Selo, cobrado pela ré, devido ao contrato de compra e venda com a Caixa Econômica Federal, uma autarquia federal, o que isentaria o acordo da exigência do pagamento da tarifa. Concedeu-se a segurança, com recurso de ofício do juiz Sérgio Mariano. Deu-se provimento ao recurso e se cassou a segurança