strijd op Nederlands grondgebied tijdens de Wereldoorlog II : De land- en luchtstrijdkrachten in de periode van mei 1940 tot 1945 / Nederland. Ministerie van … Jaarboek van de Koninklijke Marine [lopend vanaf 2014] / uitg. door de zorg van het Departement van Marine
