S. Misbah Deen C. A. Johnson Formalizing an Engineering Approach to Cooperating Knowledge-Based Systems. 103-117 2003 15 IEEE Trans. Knowl. Data Eng. 1 http://computer.org/tkde/tk2003/k0103abs.htm db/journals/tkde/tkde15.html#DeenJ03