E. A. Efimchik, M. S. Chezhin, and A. V. Lyamin, “Automation of Algorithmic Tasks for Virtual Laboratories Based on Automata Theory”, EAI Endorsed Trans e-Learn, vol. 3, no. 10, p. e2, Apr. 2016.