Generating a pencil beam from a focused transducer using Stolt migration | IEEE Conference Publication | IEEE Xplore