Z an introduction to formal methods - Dillev, Antoni (NEWYORK JOHN WILEY, 1994)
Keywords: Z (COMPUTER PROGRAM LANGUAGE)