From Dynamic Supertypes to Subjects: A Natural Way to Specify and Develop Systems

William H. Harrison, Haim Kilov, Harold Ossher, Ian Simmonds. From Dynamic Supertypes to Subjects: A Natural Way to Specify and Develop Systems. IBM Systems Journal, 35(2):244-256, 1996.

Abstract

Abstract is missing.