Statistieken van de Nederlandse nijverheid uit de eerste helft der 19de eeuw
Rijks geschiedkundige publicatiën : grote serie ;