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