@Unpublished{abel:foetus,
  author = 	 "Andreas Abel",
  title = 	 "foetus -- Termination Checker for Simple Functional Programs",
  note = 	 "Programming Lab Report",
  url =          "http://www.tcs.informatik.uni-muenchen.de/\~{}abel/foetus/",
  year =	 1998
}