selected publications conference paper Visualization/animation of programs based on abstract representations and formal mappings. 373-381. 2001
