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