Militaire detentie en aparte militaire gevangenissen kort vóór en na 1800 : toepassing der vrijheidsstraffen voor militairen in de 19e eeuw / A. Hallema