Stratego/XT Reference Manual

Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, Eelco Visser. Stratego/XT Reference Manual. 2008. [doi]

@manual{StrategoXTReferenceManual,
  title = {Stratego/XT Reference Manual},
  author = {Martin  Bravenboer and Karl Trygve Kalleberg and Rob Vermaas and Eelco Visser},
  year = {2008},
  doi = {http://releases.strategoxt.org/strategoxt-manual/strategoxt-manual-0.17pre18721-8c3vml4h/manual/},
  researchr = {https://researchr.org/publication/StrategoXTReferenceManual},
  cites = {0},
  citedby = {0},
}