Ivan Nikolaevich Mikhailov E-mail imikhailov@openlinksw.com Organization A.P. Ershov Institute of Informatics Systems SB RAS — senior engineer
Anureev I., Maryasov I., Mikhailov I. Method of the development of ontological operational semantics for imperative programming languages // Computer Science. — 2016. — # 40 — P. 15–35