О теории моделей программ и о моделях рекурсивных программ // Методы и системы технической диагностики, межвуз. сб. науч. тр., изд-во Саратовского ГУстатья