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