How it Works: Algorithms - A Tool for Developing an Understanding of Control Structures. - Oleg Sychev; Mikhail Denisov; Grigory Terekhov (ITiCSE (2), 2021)

Demonstrating Concepts Through Visual Simulators: Two Cases in the Programming Domain. - Oleg Sychev; Anton Anikin 001; Grigory Terekhov (VL/HCC, 2021)

Using Software Reasoning to Determine Domain-law Violations and Provide Explanatory Feedback: Expressions Tutor Example. - Oleg Sychev; Nikita Penskoy; Grigory Terekhov (CSEDU (1), 2022)

A Tool to Teach Expressions with Feedback About Broken Laws. - Oleg Sychev; Nikita Penskoy; Grigory Terekhov (SIGCSE (2), 2022)