А. Н. Терехов, А. В. Митенев, and М. А. Терехов, “Virtual Machine for RuC project”, CTE, no. 6, pp. 33-41, Dec. 2016.