@PhdThesis{Schirmer:VSIPI06,
  author =       "Norbert Schirmer",
  title =        "Verification of Sequential Imperative Programs in
                 {Isabelle/HOL}",
  school =       "Technical University of Munich",
  year =         "2006",
  month =        apr,
  URL =          "http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss20060529-1116038779",
}