Cunha A, Barros J B, Saraiva JA.? 2002.??Deriving Animations from Recursive Definitions. Draft Proceedings of the 14th International Workshop on the Implementation of Functional Languages - IFL.