Netherlands. Ministerie van Binnenlandse Zaken, Netherlands. Ministerie van Onderwijs, Kunsten en Wetenschappen, Netherlands. Ministerie van Onderwijs en Wetenschappen, Netherlands. Commissie voor's Rijks Geschiedkundige Publicatiën, Netherlands. Rijkscommissie voor Vaderlandse Geschiedenis