OPERATIONAL CONCEPTUAL TRANSITION SYSTEMS AND THEIR APPLICATION TO DEVELOPMENT OF CONCEPTUAL OPERATIONAL SEMANTICS OF PROGRAMMING LANGUAGES - Anureev, Igor (System Informatics, 2017)