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