Visualization/animation of programs based on abstract representations and formal mappings - Pereira, Maria João (2001)