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. 9, p. e6, Mar. 2016.