@phdthesis{St10,
AUTHOR = {Starostin, Artem},
TITLE = {Formal Verification of Demand Paging},
YEAR = {2010},
SCHOOL = {Saarland University, Saarbrücken},
}