An introduction to formal specification and Z. - Potter, Ben (International Series in Computer Science / Prentice-Hall Inc.., 1991)