Andrea Cerri Patrizio Frosini Claudia Landi http://arxiv.org/abs/cs/0608009 2006 CoRR abs/cs/0608009 db/journals/corr/corr0608.html#abs-cs-0608009 informal publication