A leader-follower algorithm for multiple AUV formations | IEEE Conference Publication | IEEE Xplore