Аннотация:Статья содержит обзор и критический анализ научных публикаций с 1932 по 1989 г., тематика которых включает формальные модели вычислений, программ и языков программирования, в том числе работы по формальной верификации. Обзор выполнен в контексте истории появления и развития языков программирования, с учетом эволюции средств вычислительной техники и методов программной инженерии. Областью особого интереса является эволюция подходов к описанию вычислений в терминах различных разновидностей λ-исчисления.