"Client and server verification for web services using interface grammars."

Graham Hughes, Tevfik Bultan, Muath Alkhalaf (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics