travaux de Wiels [110] et d autres contributions telles que celles d crites dans le
livre ..... In return, experience gained in object oriented system development has
...... The proof of this remark is the same as the proof of the above theorem 2.1.
...... and Kuiper [22] combine dynamic deontic logic and temporal logic to specify
... 
