Explains how to get started using Stratego, including installation, writing specifications, compiling specifications and running compiled specifications.
Covers only the basic features of Stratego, but is still valid and useful to get started.
Slides giving an overview of Stratego with theory (language constructs, definition of strategies, etc.), examples (propositional formulae, traversals, lambda calculus reduction, generic algorithms for expressions with variables), and pragmatics (how to run a Stratego specification, library).