Uma automacao de logica temporal - Souza, Luiz Fernando Pereira de (Universidad Federal do Rio de Janeiro, 1992)