1. Barnes, J.: Programming in Ada 95. Addison-Wesley, Reading (1995)
2. Cheng, J., Ushijima, K.: Partial Order Transparency as a Tool to Reduce Interference in Monitoring Concurrent Systems. In: Ohno, Y. (ed.) Distributed Environments, pp. 156–171. Springer, Heidelberg (1991)
3. Lecture Notes in Computer Science;J. Cheng,1996
4. Cheng, J.: The Self-Measurement Principle: A Design Principle for Large-scale, Long-lived, and Highly Reliable Concurrent Systems. In: Proc. 1998 IEEE-SMC Annual Int. Conf. on Systems, Man and Cybernetics, vol. 4, pp. 4010–4015 (1998)
5. Cheng, J.: The Wholeness Principle of Concurrent Systems and the Uncertainty Principle in Measuring Concurrent Systems. In: Proc. Int. Sympo. on Future Software Technology 1998, pp. 311–314 (1998)