1. L. Cardelli and P. Wegner, “On Understanding Types, Data Abstraction, and Polymorphism,” ACM Computing Surveys, Vol.17, No.4, Dec. 1985.
2. B. A. Davey and H. A. Priestly, Introduction to Lattices and Order, Cambridge University Press, 1990.
3. J. Davis II, C. Hylands, B. Kienhuis, E.A. Lee, J. Liu, X. Liu, L. Muliadi, S. Neuendorffer, J. Tsay, B. Vogel, and Y. Xiong, “Heterogeneous Concurrent Modeling and Design in Java,” Technical Memorandum UCB/ERL M01/12, EECS, University of California, Berkeley, March 15, 2001. ( http://ptolemy.eecs.berkeley.edu/publications/papers/01/HMAD/ )
4. L. de Alfaro and T. A. Henzinger, “Interface Automata,” to appear in Proc. of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (ESEC/FSE 01), Austria, 2001.
5. C. A. R. Hoare, “Communicating Sequential Processes,” Communications of the ACM, 28(8), August 1978.