@mastersthesis{wahlstedt:2000,
  author =	 {David Wahlstedt},
  title =	 "Detecting Termination Using Size-Change in Parameter Values",
  school =	 "G{\"o}teborgs Universitet",
  year =	 2000,
  note = {{\\}\url{http://www.cs.chalmers.se/~davidw/}\hspace{0.2cm}},
  howpublished = {{http://www.cs.chalmers.se/~davidw/}\hspace{0.2cm}},
  documentURL = {{http://www.cs.chalmers.se/~davidw/}\hspace{0.2cm}},
}