"Service Description and Analysis From a Type Theoretic Approach."

Ken Q. Pu (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics