Program Verification and Semantics: Further Work, Science Museum, London. , 27(2), 2005.