7Milner R. Functions as processes[ M] //Mathematical Structures in Computer Science. Berlin / Heidelberg: Springer, 1992:167 - 180.
8Sangiorgi D. An investigation into functions as processes [ C]//In: Proc. Math. Foundations of Program Semantics' 93. Berlin / Heidelberg:Springer, 1993 : 143 - 159.
9BOYER RS, MOORE JS. A fast string searching algorithm [J] .Communications of the ACM , 1977, 20(10) :762 -772.
10HORSPOOL RN. Practical fast searching in strings[J]. Software-Practice and Experience, 1980,10(6) :501 -506.
