On some rigorous computational ocean-acoustic modelling tools | IEEE Conference Publication | IEEE Xplore