Ferreira, F., & Martins, A. 2008 jul 12. Minimal Models and Expressiveness Hierarchy. Anais do Concurso de Teses e Dissertações (CTD). [Online] :