1. Hoare, C.: Communicating Sequential Processes. International Series in Computer Science. Prentice Hall (1985)
2. Milner, R.: Communicating and Mobile Systems: the π-calculus. Cambridge University Press (1999)
3. Lea, D.: Concurrent Programming in Java (2nd edition) Design Principles and Patterns. The Java Series. Addison Wesley (2000)
4. Reisig, W.: An Informal Introduction To Petri Nets. Proc. Int’l Conf. Application and Theory of Petri Nets, Aarhus, Denmark (2000)
5. Glodberg, D. E.: Genetic Algorithms in Search, Optimization, and Machine Learning. Addison-Wesley (1989)