Operating systems : three easy pieces - Arpaci-Dusseau, Remzi H. (Arpaci-Dusseau Books, LLC, 2018)