Spivey, J M

The Z notation : a reference manual - 2nd ed - Prentice hall, New York 1992 - xi,158p

0-13-978529-9

005.1 Spi