Book

Formal Specification Using Z (Computer Science)

by David Lightfoot