Principles of concurrent and distributed programming - Ben-Ari, Mordechai (Addison-Wesley, 2006)