Jan A. Bergstra Sanne Nolst Trenité Mark van der Zwaag http://arxiv.org/abs/0802.3617 2008 CoRR abs/0802.3617 db/journals/corr/corr0802.html#abs-0802-3617 informal publication