@phdthesis{ thesisPhilippRuemmer,
    author = "Philipp R{\"u}mmer",
    title = "Calculi for Program Incorrectness and Arithmetic",
    school = "University of Gothenburg",
    year = "2008",
    isbn      = {978-91-628-7242-7}
}