1. The temporal logic of programs;Pnueli,1977
2. Semantical analysis of modal logic I: normal propositional calculi;Kripke;Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik,1963
3. R. Rosner, A. Pnueli, A choppy logic, in: First Annual IEEE Symposium on Logic in Computer Science, LICS, 1986, pp. 306–314.
4. B. Moszkowski, Reasoning about digital circuits. Ph.D. Thesis, Department of Computer Science, Stanford University. TRSTAN-CS-83-970, 1983.
5. B. Moszkowski, Compositional reasoning about projected and infinite time, iceccs, in: First IEEE International Conference on Engineering of Complex Computer Systems, ICECCS’95, 1995, p. 238.