@mastersthesis{Kru03,
  author  = {Jozef Kruger},
  title   = {Specification of Loop Optimizations In {Stratego}. {I}mproving the AutoBayes System},
  school  = {Utrecht University},
  year    = 2003,
  address = {Utrecht, The Netherlands},
  month   = {November},
  urlpdf  = {http://www.cs.uu.nl/~visser/ftp/Kru03.pdf},
  project = {Stratego and XT},
}