2 books in this genre
Concurrent programming for software engineers
R. J. Whiddett
The logical design of operating systems
Alan C. Shaw
