R. Belew and S. Forrest. Learning classifier systems, from foundations to applications. In, P.L. Lanzi, W. Stolzmann, and W.Wilson S, editors, Proceedings of IWLCS '99, volume 1813 of Lecture Notes in Computer Science. Springer, 2000.
 J. A. Bergstra and J.W. Klop. Algebra of communicating processes with abstraction. Theoretical Compute Science, 37(1):77⎯121, 1985. [OpenAIRE]
 D. Dasgupta. Artificial Immune System and Their Applications. Springer, U.S.A.,1998.
 P. De Haeseleer, S. Forrest, and P. Helman. An immunological approach to change detection: Algorithms analysis an implications. In Proceedings of the 1996 IEEE Symposium on Research in Security and Privacy, pages 110⎯119. IEEE Computer Society Press, 1996.
 S.Forrest, S.A. Hofmeyr, and A. Somayaji. Computer immunology. Communications of the Association for Computing Machinery, 40(10):88⎯96, 1997. [OpenAIRE]
 S. Gilmore, J. Hillston, and M. Ribaudo. An efficient algorithm for aggregating PEPA models. IEEE Transactions on Software Engineering, 27(5):449⎯464, May 2001. [OpenAIRE]
 M.J. Hatcher, A.M. Dunn, and C. Tofts. The effect of the embryonic bottleneck on vertically transmitted parasites. In Proceedings of 1st International Conference on Information Processing in Cells and Tissues, page In Press. University of Liverpool, 1996.
 M.J. Hatcher and C. Tofts. The effect of point of expression on ESS sex ratios. Journal of Theoretical Biology, 175:263⎯266, 1995.
 M.J. Hatcher and C.Tofts. The evolution of polygenic sex determination with potential for environmental manipulation. Technical Report Series, Department of Computer Science, UMCS-95-4-2, University of Manchester, 1995.
 M. Hennessy and H. Lin. Proof systems for message passing process algebras. Formal Aspects of Computing, 8(4):379⎯407, 1996. Also available from Sussex as Computing Science Technical Report 3/93.
 Jane Hillston. A Compositional Approach to Performance Modelling. Cambridge University Press, 1996. [OpenAIRE]
 C.A.R. Hoare. Communicating sequential processes. Communications of the Association for Computing Machinery, 21(8):666⎯77, 1978. [OpenAIRE]
 S. Hofmeyr and S. Forrest. Architecture for an artificial immune system. Evolutionary Computation Journal, 8(4):443⎯473, 2000. [OpenAIRE]
 ISO. Information processing systems⎯Open systems interconnection. LOTOS⎯A formal description technique based on the temporal ordering of observational behaviour. ISO 8807, 1989.
 R. López, F. Díaz, and S. Arias. Biología Celular. Editorial Iberoamérica, México, 1991.