Hardware and software support for virtualization - Bugnion, Edouard (Morgan & Claypool, 2017)