Proof: the general purpose animator.

Nancy J. Earle, Daniel T. Brunner, James O. Henriksen

Browse the full WSC paper archive.