Reflections On The Work Of C.A.R. Hoare by A.W. Roscoe