1. Lecture Notes in Computer Science;J. Magee,1995
2. Magee, J., Kramer, J.: Concurrency: State Models and Java Programs. John Wiley & Sons, Chichester (1999)
3. Schmidt, H.W.: Compatibility of Interoperable Objects. In: Krämer, B., Papazoglou, M.P., Schnmidt, H.W. (eds.) Information Systems Interoperability, pp. 143–199. Research Studies Press, Taunton (1998)
4. Schmidt, H.W., Zimmermann, W.: A Complexity Calculus for Object-Oriented Programs. Journal of Object-Oriented Systems 1(2), 117–147 (1994)
5. Ling, S., Schmidt, H.W., Fletcher, R.: Constructing Interoperable Components in Distributed Systems. In: Technology of Object-Oriented Languages and Systems (TOOLS 32), pp. 274–284. IEEE Computer Society Press, Los Alamitos (1999)