12 août 1831 de la campagne des dix jours / par P.G. Booms Précis des expéditions de l'armée néerlandaise des indes orientales contre les princes de Bali, de 1846-1849 / par P.G. Booms Studiën over Algerië / door P.G. Booms