Vaderlandsche historie, vervattende de geschiedenissen der nu Vereenigde Nederlanden, inzonderheid die van Holland [...]. Dertiende deel, beginnende in't jaar 1660, en eindigende met de aanstelling van Willem den Derden [...] in [...] 1672.

Onderstaande tekst is niet 100% betrouwbaar