An introduction to formal specification and Z - Potter, Ben; Sinclair, Jane; Till, David (London ; New York Prentice Hall, 1996)
Keywords: Computer software -- Development; Z (Computer program language)