1. Apt, K. R. 1983. A static analysis of CSP programs. InProc. Workshop Program Logic, Outtsvyrgg.
2. Brookes, S., Hoare, C. A. R., and Roscoe, A. 1984. A theory of communicating sequential processes.Journal of the ACM 31(3):560?599.
3. Cheung, S. C. 1994. Tractable and compositional techniques for behaviour analysis of concurrent systems. Ph.D. dissertation, Department of Computing, Imperial College of Science, Technology and Medicine.
4. Cheung, S. C., and Kramer, J. 1993a. Enhancing compositional reachability analysis with context constraints. InProc. 1st ACM International Symposium on the Foundations of Software Engineering, ACM SIGSOFT, Los Angeles, California, pp. 115?125.
5. Cheung, S. C., and Kramer, J. 1993b. Tractable flow analysis for anomaly detection in distributed programs. InProc. 4th European Software Engineering Conference (ESEC'93), Germany, published in LNCS 717, pp. 283?300.