For later versions see the web pages of the authors.