Car-Hoare

Master of Computer Science: The Life and Philosophy of C.A.R. Hoare