SystemS is the name for the system of combinators that form the core of the StrategoLanguage. SystemS is described in the following papers: * [[Building Program Optimizers with Rewriting Strategies]] * [[A Core Language for Rewriting]] In the latter paper the name SystemS was actually defined. -- Main.EelcoVisser - 20 Jan 2003