Bruno Guillaume Guy Perrier Interaction Grammars http://arxiv.org/abs/0809.0494 2008 CoRR abs/0809.0494 db/journals/corr/corr0809.html#abs-0809-0494 informal publication