Rewiew of languages specifications