Doco for spec dsl