An introduction to formal specification and Z - Potter, Ben; Sinclair, Jane; Till, David (New York : Prentice Hall, 1991)
Includes index.
Keywords: Formal languages; Software engineering; Z (Computer program language)