Priestley, PM; (2008) Logic and the development of programming languages, 1930-1975. Doctoral thesis , UCL (University College London).