Formal Specification Using Z (Computer Science)
by
David Lightfoot
Learn More
on
openlibrary.org
