Отцов-основателей надо знать, чтить и помнить http://ershov.iis.nsk.su/ershov/russian/scient.html. Очень многое в теории компиляции и преобразований программ с целью оптимизации сделали наши программисты, а многое из этого сделал академик Ершов. Вот, наткнулся на архив его рукописей. Что интересно, Человек работал с 56 года по 88, поэтому можно проследить, как менялись взгляды на программирование. Happy reading.