1. Borrmann L, Hutner F, Leunig SR et al. The EDS commercial parallel processing system. In: Keane, JA (Ed.). Parallel information processing. Stanley Thornes, 1996. pp 81–101
2. Milner R. Communication and concurrency. Prentice-Hall, Englewood Cliffs, NJ, 1989
3. Jackson M. Software requirements and specifications. Addison-Wesley, Reading, MA, 1995
4. Loucopoulos P and Potts C. Editorial. Req Eng J 1996; 1(1): 1–3
5. Moffet J, Hall J, Coombes A and McDermid J. A model for a causal logic for requirements engineering. Req Eng J 1996; 1(1): 27–46