1. Abrial, J.-R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Armstrong, J.: Programming Erlang – Software for a Concurrent World. The Pragmatic Programmers (2007), http://books.pragprog.com/titles/jaerlang
3. Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang. Prentice-Hall, Englewood Cliffs (1996)
4. Lecture Notes in Computer Science;T. Arts,2005
5. Lecture Notes in Artificial Intelligence,2007