Object-oriented behavioral semantics with an emphasis on semantics of large OO business specificationsHaim KilovBernhard Rumpeet al.1997OOPSLA 1997
From dynamic supertypes to subjects: A natural way to specify and develop systemsWilliam HarrisonHaim Kilovet al.1996IBM Systems Journal
Business patterns and viewpointsHaim KilovIan Simmonds1995International Workshop on Multiple Perspectives in Software Development 1995