Ferreira, F., & Martins, A. (2008). Minimal Models and Expressiveness Hierarchy. In Anais do XXI Concurso de Teses e Dissertações, (pp. 89-96). Porto Alegre: SBC.