@phdthesis{Hil05,
AUTHOR = {Hillebrand, Mark},
TITLE = {Address Spaces and Virtual Memory: Specification, Implementation, and Correctness},
YEAR = {2005},
URL = {http:///publikationen/Hil05.pdf},
SCHOOL = {Saarland University, Saarbr├╝cken},
}