specification of language