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