publicações selecionadas artigo académico Semantics of non-terminating rewrite systems using minimal coverings 1996 artigo de revista Assertion-based slicing and slice graphs. Formal Aspects of Computing. 2012 livro Fundamentos da Computação 2000