An introduction to formal specification and Z - POTTER (Prentice Hall, 1996)