On Concurrent Programming by B F Schneider