publicações selecionadas artigo de conferência Visualization/animation of programs based on abstract representations and formal mappings 2001