Tony Hoare. Keynote: A Vision for the Science of Computing. In Erol Gelenbe, Samson Abramsky, Vladimiro Sassone, editors, Visions of Computer Science - BCS International Academic Conference, Imperial College, London, UK, 22-24 September 2008. pages 1-29, British Computer Society, 2008. [doi]
Abstract is missing.