Dynamic Modelling Of Information Systems - H Gled Sol,K M Van Hee (North-Holland, 1991)