La marina dall' 8 settembre 1943 alla fine del conflitto - Fioravanzo, Giuseppe (La marina italiana nella seconda guerra mondiale, 1971)