by A. W. Roscoe
To celebrate the 60th birthday and the many achievements of Tony Hoare, a rich assembly of contributors has come together to provide a volume of papers dedicated to him. Recognising the huge differ…