2 libros en este género
Concurrent programming for software engineers
R. J. Whiddett
The logical design of operating systems
Alan C. Shaw
