1. CoFI (The Common Framework Initiative): Casl Reference Manual. LNCS 2960 (IFIP Series). Springer (2004)
2. Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
3. Jones, C.B.: Systematic Software Development using VDM, 2nd edn. Prentice-Hall, Englewood Cliffs (1990)
4. Spivey, J.M.: The Z Notation: A Reference Manual, 2nd edn. International Series in Computer Science (1992)
5. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)