Object-oriented reasoning in information modeling. - Haim Kilov; Bill Harvey (OOPSLA Addendum, 1992)

Specification of behavioral semantics in object-oriented information modeling. - Bill Harvey; Haim Kilov; Hafedh Mili (OOPSLA Addendum, 1993)

Precise behavioral specifications in OO information modeling. - Haim Kilov; Bill Harvey; Hafedh Mili (OOPSLA Addendum, 1994)

Semantic integration in complex systems: collective behavior in business rules and software transactions. - Haim Kilov; Bill Harvey; Kevin Tyson (OOPSLA Addendum, 1995)

Nonsystematic backtracking search. - Bill Harvey (1995)