@manual{StrategoDoc05,
  title        = {Stratego/XT Tutorial, Examples, and Reference Manual for Stratego/XT 0.16},
  author       = {Martin Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser},
  organization = {Department of Information and Computing Sciences, Universiteit Utrecht},
  address      = {Utrecht, The Netherlands},
  month        = {November},
  year         = 2005,
  urlhtml      = {http://nix.cs.uu.nl/dist/stratego/strategoxt-manual-0.16/manual/},
  project      = {Stratego and XT and TraCE},
  category     = {documentation},
  pubcat       = {documentation},
  class        = {Wet non},
}