S. Cohen
Software Engineering Institute
Object lifecycles: modeling the world in states
KBMS: A Knowledge-Based System for Modeling Software System Specifications
IEEE Transactions on Knowledge and Data Engineering