Valorações para alguns sistemas de logica do tempo - Mortari, Cezar Augusto (1982)
Orientador : Oswaldo Porchat Pereira