" Conception de systèmes d'exploitation : " Patrick Cegielski ; avec la contribution de Mathieu Ropert, Sébastien Blondeel et Florence Henry.