Spivey, J M.
Understanding Z Specification Language and its Formal Semantics - Cambridge CUP 1988 - 131p
0 521 33429 2
681.3 SPI
Understanding Z Specification Language and its Formal Semantics - Cambridge CUP 1988 - 131p
0 521 33429 2
681.3 SPI