1. Spivey JM. The Z notation—a reference manual. Prentice-Hall International, 1989
2. Guttag JV, Horning JJ and Wing JM. Larch in five easy pieces. Technical Report 5, Digital systems research center, Palo Alto CA, July 1985
3. Harel D, Lachover H, Naamad A, Penuli A, Politi M, Sherman R and Shtul-Trauring A. STATEMATE: a working environment for the development of complex reactive systems. In Proc. of the 10th International Conference on Software Engineering—ICSE’88, pages 396–406, Singapore, April 11–15, 1988. IEEE
4. Dubois E, Hagelstein J, van Lamsweerde A, Orejas F, Souquières J and Wodon P. A guided tour through the ICARUS project. Software Engineering Notes, 20(2):28–33, 1995. Available at ftp://ftp.info.fundp.ac.be/publications/RP/RP-95-017.ps.Z
5. 2RARE (2 real applications for requirements engineering), esprit project programme (contract number 20.424), November 1995. Information available at http://www.info.fundp.ac.be/≈phe/2rare.html