Knowledge oriented software design : Extended papers from the IFIP TC12 workshop on AIFIPP '92, Madrid, Spain, 14 - 15 Sept., 1992 - Chandrasekaran, B. (IFIP transactions A : Computer science and technology, 1993)