DSL documentation