“This can be a surprisingly difficult and enlightening task.” —Lamport, Leslie, January, 1978. (doi:10.1145/1010734.1010737) Posted on Sep 05, 2017