Язык Ада в проектировании систем: научное издание - Бар, Р. Дж. А. (Мир, 1988)