See the [[http://www.stratego-language.org/Sdf][SDF web]].