types of specification