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