Regiment Infanterie Johan Willem Friso, en een korte geschiedenis van het 1e, 9e en 10[e] Regiment Infanterie Valkenburg mei 1940 : de strijd om het vliegveld en het dorp : beschrijving van de gevechten en ooggetuigenverslagen / D. Harff en P. Harff 9e Regiment Infanterie : vaderlandsliefde Nederland en Oranje-Het Regiment-Het Vaandel / L.J. Rieber, Luitenant-Kolonel, Regiments-Commandant
