1. Spivey, J.M., The Z notation: a reference manual, Prentice-Hall, 1989.
2. Jones, C.B., Systematic software development using VDM, Prentice-Hall, 1986.
3. Goguen, J.A. and Tardo, J., An introduction to OBJ: a language for writing and testing software specifications, In ’specification of reliable systems’, IEEE, 1979.
4. Milner, R. ‘A calculus of communicating systems’, LNCS 92, Springer, 1980.
5. Hoare, C.A.R., Communicating sequential processes, Prentice-Hall, 1985.