Leslie Lamport Teaching concurrency. 58-62 2009 40 SIGACT News 1 http://doi.acm.org/10.1145/1515698.1515713 db/journals/sigact/sigact40.html#Lamport09