On concurrent programming - Schneider, Fred B. (Graduate texts in computer science, 1997)