A Language for Specifying Hyperdocuments @bullet Page 21

The definition of class bookWithTableOfContents may now proceed as above, except that the declaration chapts: list of chapter should be replaced by ch apts:List of chapterWithHeader, and that predicates serving the very same function as makeTOCAux, and makeToc, resp.