Pomorski leksikon (1990)
diverzija, vojnopomorska, iznenadan oblik ofenzivne borbene akcije na moru s određenim zadatkom; izvodi ...