publicações selecionadas artigo de revista Algebraic specification of documents. Theoretical Computer Science. 1998