Principles of concurrent and distributed programming - Ben-Ari, M (Pearson, 1990)