doc/book.pdf