Molotkov, I.; Fyodor, N. Ontology of Discrete Mathematics in Education. CTE 2021, 68-84.