Software development with Z : a practical approach to formal methods in software engineering - Wordsworth, J. B. (Addison-Wesley Pub., 1970)