spec language