Kees M. van Hee, Lou J. Somers, Marc Voorhoeve. A Formal Framework for Dynamic modelling of Information Systems. In Kees M. van Hee, Henk G. Sol, editors, Dynamic Modelling of Information Systems I, The First International Working Conference on Dynamic Modelling of Information Systems, Noordwijkerhout, The Netherlands, April 9-10, 1990. pages 227-236, Elsevier/North Holland, 1990. [doi]
Abstract is missing.