1. Dekhtyar M.I., Karlov B.N. PDA with Independent Counters // Моделирование и анализ информационных систем. 2015. Т.22. №2(56). С.176-196 .
Подробно
2. Дудаков С.М. О безопасности одно- и многоместных IFP-операторов // Моделирование и анализ информационных систем. 2018. Т.25. №5. С.525–533.
Подробно