Types and Subtypes for Client-Server Interactions.

Simon J. Gay Malcolm Hole Types and Subtypes for Client-Server Interactions. 74-90 http://dx.doi.org/10.1007/3-540-49099-X_6 1999 conf/esop/1999 ESOP db/conf/esop/esop99.html#GayH99