UNIX Systems Programming: Communication, Concurrency and Threads, ...
Kay Robbins & Steve Robbins
The Therac-25: 30 Years Later
Nancy Leveson
Get Programming with Haskell
Will Kurt
Science of Concurrent Programs
Leslie Lamport
Boys Run the Riot 1
Keito Gaku
Boys Run the Riot 2
Boys Run the Riot 3
Boys Run the Riot 4