Military operations in the Netherlands from 10th-17th May, 1940 - Doorman, P. L. G. (Allen and Unwin, 1944)