Jung, Michael (2003). Militärisches Tauchen in frueherer Zeit. (Kampfschwimmer; Meereskämpfer; Tauchgeschichte)