@doctoralThesis{Hillebrand_2005,
title={Address spaces and virtual memory : specification, implementation, and correctness},
author={Hillebrand, Mark},
doi={http://dx.doi.org/10.22028/D291-25889},
year={2005}
}