The polymorphic Pi-calculus theory and implementation - Turner, David N. (Univ., Dept. of Computer Science, 1996)