Theoret. Comput. Sci., 5(3) December 1977

• Plotkin, Gordon (1977) Plotkin, Gordon "LCF considered as a programming language"