Formalisation info. syst. modelling door Brinkkemper