Turing Award-winner Leslie Lamport explains how to think more abstractly about concurrent and distributed programs by viewing them mathematically. More abstract thinking leads to better designs, which leads to better code. A fascinating read for graduate students and researchers in theoretical computer science, concurrency, and distributed systems.