Do you know of any resources that teaches this? I'm looking for a hypothetical book like "CLRS for VMs".