Books about Dutch War, 1672-1678 -- Early works to 1800 (sorted by popularity)