@MastersThesis{abel:diplomathesis,
  author = 	 {Andreas Abel},
  title = 	 {A Semantic Analysis of Structural Recursion},
  school = 	 {Ludwig-Maximilians-University Munich},
  year = 	 1999,
  url =	         {http://www.tcs.informatik.uni-muenchen.de/\~{}abel/publications/diplomathesis.pdf}
}