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 12 août 1831 de la campagne des dix jours / par P.G. Booms Studiën over Algerië / door P.G. Booms
