@phdthesis{Wintersteiger11,
  Author  = {Christoph M. Wintersteiger},
  Title   = {Termination Analysis for Bit-Vector Programs},
  School  = {ETH Zurich, Switzerland},
  year    = 2011
}