Principles of concurrent programming - Ben-Ari, M.