F. Ferreira and A. Martins. " Minimal Models and Expressiveness Hierarchy", in Proceedings of the 21st Thesis and Dissertation Contest, Belém/PA, 2008, pp. 89-96.