Publication

Formal Modelling of Objects and Subsystems in an Information Systems Framework