Language specification