Remko Tronçon Gerda Janssens Bart Demoen Henk Vandecasteele http://arxiv.org/abs/cs/0601072 2006 CoRR abs/cs/0601072 db/journals/corr/corr0601.html#abs-cs-0601072 informal publication