Проектирование корректных структурированных программ: пер. с англ. - Алагич С. Суад (Москва, Радио и связь, 1984)