Z (Computer program language)

Software development with Z Wordsworth, J. B. 1992 The way of Z: Practical programming with formal methods Jacky, Jonathan 1997 Understanding Z Spivey, J. M. 1992 Using Z Woodcock, Jim 1996 Z an introduction to formal methods Dillev, Antoni 1994