Anureev, I. 2013. Towards technology of development of operational semantics of computer languages: unified format of labelled transition systems. SPIIRAS Proceedings. 2, 25 (Apr. 2013), 255-276. DOI:https://doi.org/10.15622/sp.25.13.