Kazakov, M., Shalyto, A.: Implementation of animation in viewers of algorithms designing based on automatic approach. Information and Control Systems(4), 51-60 (2005)