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