On Concurrent Programming by Fred B. Schneider