Principles of Concurrent and Distributed Programing - ARI, M. Ben (Prentice Hall, 1990)