De Nederlandse Spoorwegen in oorlogstijd 1939-1945 door David Barnouw, Dirk Mulder & Guus Veenendaal