Wim Janssen Alexandr Korlyukov Jan Van den Bussche http://arxiv.org/abs/cs/0603028 2006 CoRR abs/cs/0603028 db/journals/corr/corr0603.html#abs-cs-0603028 informal publication