Jan A. Bergstra Alban Ponse Mark van der Zwaag http://arxiv.org/abs/0712.3423 2007 CoRR abs/0712.3423 db/journals/corr/corr0712.html#abs-0712-3423 informal publication