"Язык Ада в проектировании систем" - читать интересную книгу автора (Бар Р., Багатурова У.С. (пер.))