Конструирование программ. Системный подход : учеб. пособие