I have only just learned of this sad news which may be of interest to other members of the group. Tony Hoare, whom I knew well, died at the age of 92 on 5th March. His wikipedia entry, https://en.wikipedia.org/wiki/Tony_Hoare contains a great deal of information about his life and works. Paul