F. Ferreira and A. Martins.
" Minimal Models and Expressiveness Hierarchy", in <em>Anais do XXI Concurso de Teses e Dissertações</em>, Belém/PA, 2008, pp. 89-96.