An introduction to formal specification and Z - Potter, Ben; Sinclair, Jane; Till, David (Prentice-Hall international series in computer science, 1996)