От схем Янова к теории моделей программстатья