Alin Deutsch Victor Vianu WAVE: Automatic Verification of Data-Driven Web Services. 35-39 2008 31 IEEE Data Eng. Bull. 3 http://sites.computer.org/debull/A08Sept/deutsch.pdf db/journals/debu/debu31.html#DeutschV08