“Formalization of graph like diagrams” (2010) Computer Tools in Education [Preprint], (3). Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1219 (Accessed: 25 October 2026).