Formalizing knowledge domains and static and dynamic Aspects - Groenboom, Rix (1997)