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