Formalizing knowledge domains by H.M. Groenboom