publicações selecionadas artigo académico Algebraic specification of documents. Theoretical Computer Science. 1998