our book in .tex format