9Milner R. Functions as processes[ M]//Mathematical Structures in Computer Science. University of Edinburgh. Berlin: Springer, 1992:167 - 180.
10Sangiorgi D. An investigation into functions as processes[C]// In: Proc. Math. Foundations of Program Semanties' 93. University, of Edinburgh. Berlin:Springer, 1993:143-159.