V. P. Maslov http://arxiv.org/abs/cs.CL/0303002 2003 CoRR cs.CL/0303002 db/journals/corr/corr0303.html#cs-CL-0303002 informal publication