Adding DSL Specification