An introduction to formal specification an Z - Potter Ben; Sinclair Jane; Till David (Prentice Hall, 1996)