R. Karmani, P. Madhusudan, and B. Moore. Proceedings of the 16th ACM symposium on Principles and practice of parallel programming, page 125--134. New York, NY, USA, ACM, (2011)
M. Nielsen, V. Sassone, and G. Winskel. A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, page 425--476. London, UK, Springer-Verlag, (1994)