new tests in book_spec
book_spec: hard tests for the 3 file formats