1. Tremblay G. Lenient evaluation is neither strict nor lazy. Computer Languages 2000;26:43–66.
2. Traub K. Sequential implementation of lenient programming languages. Technical Report MIT/LCS/TR-417, Laboratory for Computer Science, MIT, 1988.
3. Nikhil R. The parallel programming language Id and its compilation for parallel machines. CSG Memo 313, Laboratory for Computer Science, MIT, July 1990.
4. Milner R. The polyadic pi-calculus: a tutorial. Technical Report ECS-LFCS-91-180, LFCS, Department of Computer Science, University of Edinburgh, UK, 1991.
5. Communicating and mobile systems: the π-Calculus.;Milner,1999