Доказательство корректности программ
К. Рустан, М. Лейно
Обложка: