The legacy of Alan Turing (Clarendon Press, 1996)