1. Lecture Notes in Computer Science;M.K. Aguilera,2001
2. Armstrong, J., Williams, M., Wikstrom, C., Virding, R.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996)
3. Arts, T., Benac Earle, C., Derrick, J.: Development of a verified Erlang program for resource locking. Int. J. on Software Tools for Technology Transfer (2004) (to appear)
4. Arts, T., Benac Earle, C., Sánchez Penas, J.J.: Translating Erlang to mCRL. In: Fourth International Conference on Application of Concurrency to System Design, Hamilton (Ontario), Canada, June 2004. IEEE computer society, Los Alamitos (2004)
5. Arts, T., Fredlund, L.-Å.: Trace analysis of Erlang programs. In: Proceedings of the 2002 ACM SIGPLAN workshop on Erlang, pp. 16–23. ACM Press, New York (2002)