Krzysztof R. Apt Farhad Arbab Huiye Ma http://arxiv.org/abs/0810.3199 2008 CoRR abs/0810.3199 db/journals/corr/corr0810.html#abs-0810-3199 informal publication