Principle of Concurrent and Distributed Programming (Second Edition) - View it on GitHub