Christoph M. Wintersteiger: Termination Analysis for Bit-Vector Programs. ETH Zurich, Zürich, Switzerland 2011