DSL specs