Castagna, Giuseppe and De Nicola, Rocco and Varacca, Daniele Semantic Subtyping for the p-Calculus. In: Logic in Computer Science, 2005. LICS 2005. Proceedings. 20th Annual IEEE Symposium on. IEEE Computer Society, pp. 92-101. ISBN 0-7695-2266-1 (2005)