ZOU Sheng-Rong, YANG Xue-Ping, GUO Feng, WANG Kai, WANG Jin-Jin, GU Xiao-Shi. Immune-B:The Design of Cytokine Networks Model of Immunology[J]. journal6, 2006, 27(3): 27-32.
[1] JORDAN J D,LANDAC E M,IYENGAR R.Signaling Networks:The Origins of Cellular Multasking [J].Cell，2000，(103)：193-200.[2] CALLARD R,GEORGE A J,STARK J.Cytokines,Chaos,and Complexity [J].Immunity，1999，(11)：507-513.[3] 陆德源.现代免疫学 [M].上海：上海科技出版社，1995.[4] 金伯泉.细胞和分子免疫学 [M].广东：世界图书出版社，1998.[5] KEVIN LANO.The B Language and Method [M].New York：Springer-Verlag,1996.[6] 邹盛荣.B语言和方法与Z、VDM的比较 [J].计算机科学，2002，(10)：136-138.[7] WALDEN M,SERE K.Refining Action Systems Within B-Tool [J].Lecture Notes in Computer Science,1996,(1 051):85-104.[8] SATPATHY M,SNOOK C,HARRISON R,et al.Comparative Study of Formal and Informal Specification Through an Industrial Case Study [J].Computer Press,2001,(4):133-137.[9] MORPURGO D.Modelling Thymus Functions in a Cellular Automation [J].Int’l Immunology，1995，(7)：505-516.[10] STEVEN H,KLEINSTEIN，PHILIP E SEIDEN.Simulating the Immune System [J].Computing in Science & Engineering，2000，(2)：69-77.[11] ZOU Sheng-rong.Formally Specifying T Cell Cytokine Network [J].Lecture Notes in Computer Science,2004,(3 314):385-390.[12] ENDY D,BRENT R.Modeling Cellular Behavior [J].Nature，2001，(409)：391-395.[13] NAAMAN KAM,DAVID HAREL,IRUN R COHEN.Model Biological Reactivity:Statecharts vs.Boolean Logic [J].IEEE Computer Press,2002,(5):345-353.[14] ZOU Sheng-rong.Modeling Distributed Algorithm Using B [J].Lecture Notes in Computer Science,2004，(3 033)：683-689.[15] 宛延门岂.C++语言和面向对象程序设计（第2版） [M].北京：清华大学出版社，1999.
