Программные системы. Применение. разбаботка. обоснование. (Мир., 1988)