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