Specifying algorithm visualizations in terms of data flow | IEEE Conference Publication | IEEE Xplore