1. Armstrong J., Virding R., Wikström C., Williams M.: Concurrent Programming in Erlang. 2nd edn. Prentice-Hall, Englewood Cliffs (1996)
2. Arts, T., Benac-Earle, C., Derrick, J.: Verifying Erlang code: a resource locker case-study. In: Eriksson, L.-H., Lindsay, P. (eds.) Formal Methods Europe: Getting IT Right, Copenhagen, Denmark. LNCS, vol. 2391, pp. 184–203. Springer (2002)
3. Arts, T., Benac-Earle, C., Sánchez Penas, J.J.: Translating Erlang to μCRL. In: Kishinevsky, M., Darondeau, P. (eds.) The Fourth International Conference on Application of Concurrency to System Design (ACSD’04), pp. 135–144. IEEE Computer Society (2004)
4. Baeten J.C.M., Weijland W.P.: Process Algebra. Cambridge University, Cambridge (1990)
5. Benac-Earle, C.: Model checking the interaction of Erlang components. PhD thesis, The University of Kent, Canterbury, Department of Computer Science (2006)