Distinguished Lecture: Sir Tony Hoare - A geometric model for the laws of concurrent programming

Sir Tony Hoare