Наука программирования = The Science of Programming - Грис Д. (Мир, 1984)