bijdragen tot de nederlandse marinegeschiedenis Operaties in de Oost : de Koninklijke Marine in de Indische archipel (1945-1951) / R.E. van Holst Pellekaan, I.C. de Regt