Jacky, J. The way of Z : practical programming with formal methods. Cambridge ; New York, NY, Cambridge University Press.(1997).

Languages mentioned

• Z {1980}