2010. Formalization of graph like diagrams. Computer Tools in Education. 3 (Jun. 2010).