Formalisation info. syst. modelling by Brinkkemper