Dieter Fensel Arno Schönegge Using KIV to Specify and Verify Architectures of Knowledge-Based Systems. 71- 1997 ASE http://computer.org/proceedings/ase/7961/79610071abs.htm db/conf/kbse/ase1997.html#FenselS97