Схемы программ с магазином и маркерами и их разрешимые свойства

В работе изучаются схемы программ с магазином и маркерами. Получены оценки сложности распознавания ряда свойств таких схем, в частности, эквивалентности схем.
Библиография: 3 названия.