Dieter Landes DesignKARL - A language for the design of knowledge-based systems. 78-85 1994 conf/seke/1994 SEKE db/conf/seke/seke1994.html#Landes94