Formal methods in computer science and knowledge modelling