On Concurrent Programming (1997)

by F B Schneider