1. Peter Achten, John van Groningen, and Rinus Plasmeijer. High level specification of I/O in functional languages. In John Launchbury and P. Samson, editors, Workshop on Functional Programming, Glasgow 1992, Ayr, UK, July 6-8, Workshops in Computer Science, pages 1–17. Springer, Berlin, Heidelberg, New York, 1993.
2. Lect Notes Comput Sci;2. P. Sergio Almeida,1997
3. G. R. Andrews and J. R. McGraw. Language features for process interaction. In Davd B. Wortman, editor, Proceedings of an ACM Conference on Language Design for Reliable Software, ACM SIGPLAN Notices, 12(3):114–127, March1977.
4. David F. Bacon, Robert E. Strom, and Ashis Tarafdar. Guava: A dialect of Java without data races. In OOPSLA’00 Conference Proceedings—Object-Oriented Programming Systems, Languages and Applications, Minneapolis, Minnesota, USA, October 15-19, ACM SIGPLAN Notices, 35(10):382–400, October 2000.
5. Henry G. Baker. ‘Use-once’ variables and linear objects—storage management, reflection and multi-threading. ACM SIGPLAN Notices, 30(1):45–52, January 1995.