Simulation of operational semantics of machine instructions. - Vartan A. Padaryan; M. A. Solov'ev; A. I. Kononov (Program. Comput. Softw., 2011)