1. Demers, A., J. Donahue, and G. Skinner, “Data Types as Values: Polymorphism, Type-Checking, Encapsulation,” Proceedings of the Fifth ACM Symposium on Principles of Programming Languages, 1978, pp. 23–30.
2. Demers, A., and J. Donahue, “The Russell Semantics: An Exercise in Abstract Data Types,” TR 80-431, Department of Computer Science, Cornell University, Ithaca, NY, 1980.
3. Donahue, J., “On the Semantics of ‘Data Type',” SIAM J. Comput., 1979, Vol. 8, No. 4, pp. 546–560.
4. Fokkinga, M., “On the Notion of Strong Typing,” in Algorithmic Languages, de Bakker and van Vliet (eds.), North-Holland, 1981, pp. 305–320.
5. Technical Report;C. Haynes,1982