publicações selecionadas artigo de conferência An attribute grammar specification of IIS*case PIM concepts 2010