About algebraic program models with procedures. - Rimma I. Podlovchenko; A. E. Molchanov (Autom. Control. Comput. Sci., 2013)

Equivalence problem solvability in gateway program models. - Rimma I. Podlovchenko; A. E. Molchanov (Autom. Control. Comput. Sci., 2014)