"Types and Subtypes for Client-Server Interactions."

Simon J. Gay, Malcolm Hole (1999)
a service of Schloss Dagstuhl - Leibniz Center for Informatics