Deriving animations from recursive definitions (2002)

by Alcino Cunha, José Barros, João Saraiva
Venue:In Draft Proceedings of the 14th International Workshop on the Implementation of Functional Languages (IFL’02