Zeus: a system for algorithm animation and multi-view editing | IEEE Conference Publication | IEEE Xplore