Software Development with Z: A Practical Approach to Formal Methods in Software Engineering

Name: Software Development with Z: A Practical Approach to Formal Methods in Software Engineering
Author: J. Wordsworth