An introduction to formal specification and Z - Potter, Ben (Prentice Hall, 1991)
Includes index.