Gen. Maj. Reinders Chef Gen. Staf strijd op Nederlands grondgebied tijdens de Wereldoorlog II / Ministerie van Oorlog . Hoofdkwartier van de chef van de generale staf . Krijgsgeschiedkundige afdeling strijd op Nederlands grondgebied tijdens de Wereldoorlog II : Nederlands verdediging tegen de Duitse aanval van 10-19 mei 1940 / Nederland. Ministerie van oorlog
