Lworld: an animation system based on rewriting | IEEE Conference Publication | IEEE Xplore