Fred Schneider is quoted in a CACM article, "General Agreement", celebrating Leslie Lamport's Turing Award. Click Here