1. Anureev I. Towards technology of development of operational semantics of computer languages: unified format of labelled transition systems // SPIIRAS Proceedings. 2013. № 25 (2). C. 255-276.