1. M. Abadi, L. Lamport, and P. Wolper. Realizable and unrealizable specifications of reactive systems. In G. A. et al., editor, Proc. 16th ICALP, pages 1–17, Stresa, Italy, 1989. Springer-Verlag.
2. R. Alur, T. Henzinger, and O. Kupferman. Alternating-time temporal logic. In Proc. 38th Symposium on Foundations of Computer Science (FOCS), pages 100–109. IEEE, 1997.
3. R.J. R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Centre Tracts. Mathematical Centre, Amsterdam, 1980.
4. R. J. R. Back and J. von Wright. Duality in specification languages: a lattice-theoretical approach. Acta Informatica, 27: 583–625, 1990.
5. R. J. R. Back and J. von Wright. Games and winning strategies. Information Processing Letters, 53 (3): 165–172, February 1995.