Introduction to formal specification and Z / - Potter, Ben. (Prentice Hall, 1996)