"Polyvariant mixed computation for analyzer programs"

"Mixed computation as a software tool"

"Semantics of functional specifications and mixed computation"

"Using structural-and-computational definition of semantics for compilation"

"The role of the theoretical model of the base language"

"Proof transformations as program transformations" (the 2nd variant)

"Proof transformations as program transformations" (the 1st variant)

"The problems of mixed computation correctness illustrated by the INCOL language"

"Specific features of M-RTK architecture"

"Mixed computation in the technological system for micro-computer software design in object-oriented languages"

"Mixed computation and program verification"

"On the essence of mixed computation"

"Algebra of program mixed execution"