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