Specification language