The limitations of Snell's law in the design of ultrasound transducers | IEEE Conference Publication | IEEE Xplore