"Modeling and synthesis of service composition using tree automata."

Ken Q. Pu, Ying Zhu (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics