V. Krasnobayev, A. Yanko, і S. Koshman, «Метод виявлення і корекції помилок у системі залишкових класів», CS&CS E-journal, вип. 1, с. 58-66, Вер 2016.