Frans Van Assche Pericles Loucopoulos G. Speltincx Raf Venken A Declarative Approach to the Dynamics of Information Systems. 567-574 1988 DS-3 db/conf/ds/ds88.html#AsscheLSV88