Anureev I. Operational conceptual transition systems and their application to development of conceptual operational semantics of programming languages // # 9, 2017
