Formal methods in knowledge engineering door M.W.M.M. Aben