http://www.cs.vu.nl/~wanf/books.html
