Jan Wielemaker Anjo Anjewierden http://arxiv.org/abs/0711.0618 2007 CoRR abs/0711.0618 db/journals/corr/corr0711.html#abs-0711-0618 informal publication