Principles of concurrent programming - Ben-Ari, M. 1948- (Prentice Hall, 1982)