From dynamic supertypes to subjects: A natural way to specify and develop systemsWilliam HarrisonHaim Kilovet al.1996IBM Systems Journal