1. Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)
2. Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing Telecoms Software with Quviq Quickcheck. In: Feeley, M., Trinder, P.W. (eds.) Proceedings of the 2006 ACM SIGPLAN Workshop on Erlang (Erlang 2006), pp. 2–10. ACM Press, New York (2006)
3. Bang-Jensen, J., Gutin, G.: Digraphs: Theory Algorithms and Applications. Springer, London (2001)
4. Guo, Q., Derrick, J.: Eliminating overlapping of pattern matching when verifying Erlang programs in μCRL. In: 12th International Erlang User Conference (EUC 2006), Stockholm, Sweden (2006)
5. Lecture Notes in Computer Science;Q. Guo,2008