Vaderlandsche historie, vervattende de geschiedenissen der nu Vereenigde Nederlanden, inzonderheid die van Holland [...]. Twintigste deel, beginnende met het openen van den veldtogt in de Nederlanden, in't jaar 1745, en eindigende met de dood van den erfstadhouder [...] in't jaar 1751.