Principles of concurrent and distributed programming - Ben-Ari, M. (Prentice Hall International series in computing science, 1990)