After a textbook has been written and published, one may want to customize it for a particular audience; it may be desirable to delete or reorder some of the chapters or sections. However, there may be dependencies among ...