Alain Frisch Haruo Hosoya http://arxiv.org/abs/cs/0701176 2007 CoRR abs/cs/0701176 db/journals/corr/corr0701.html#abs-cs-0701176 informal publication