Here is the BBC obituary and tribute page - with an audio section including John on "Desert Island Discs". Listening to him it's hard to take it in that he is dead.