1. Jones, C.B.: Systematic software development using VDM, (Prentice Hall 1986)
2. Spivey, J.M.: The Z notation — a reference manual, (Prentice Hall 1989)
3. ‘A logic for the formal requirements specification of real-time embedded systems’, FOREST Deliverable Report, 3, 1987
4. Jeremaes, P., Khosla, S., and Maibaum, T.S.E.: ‘A modal (action) logic for requirements specification’, Barnes, D., Brown, P., Software engineering '86, (Peter Peregrinus 1986), p. 278–294