Henk Vandecasteele Gerda Janssens An Open Ended Tree http://arxiv.org/abs/cs.PL/0312027 2003 CoRR cs.PL/0312027 db/journals/corr/corr0312.html#cs-PL-0312027 informal publication