1. A. Pnueli, The temporal logic of programs, in: Proceedings of the 18th IEEE Symposium on Foundations of Computer Science, 1977, pp. 46–67.
2. The temporal logic of branching time;Ben-Ari;Acta Inform.,1983
3. Temporal and Modal Logic, in: Handbook of Theorical Computer Science;Emerson,1995
4. Deontic logic;Aqvist,1984
5. R. J. Wieringa, J.-J. Meyer, Applications of deontic logic in computer science: a concise overview, Deontic Logic in Computer Science, Normative System Specification.