Specification generator.