Tien jaar Nederlandsche vliegtuigenfabriek : juli 1919-juli 1929 Nederlandse vuurwapens / G. de Vries : [3]: Marine, mariniers en Marineluchtvaartdienst, 1896-1942 de geschiedenis van de koninklijke luchtmacht. hoofddeel 1 wapen der militaire luchtvaart tijdens de Tweede Wereldoorlog in Groot -Brittannie, 31 mei 1940 - 9 mei 1945 / door J.W.T. Bosch