Jiri Barnat Lubos Brim Ivana Cerná Sven Drazan Jana Fabriková Jan Láník David Safránek Hongwu Ma http://arxiv.org/abs/0910.0928 2009 CoRR abs/0910.0928 db/journals/corr/corr0910.html#abs-0910-0928 informal publication