An introduction to formal specification and Z. - Potter, Ben; Sinclair, Jane; Till, David (Prentice-Hall, Inc., 1991)