The Z notation : a reference manual /

Bibliographic Details

Main Author:	Spivey, J. M.
Format:	Book
Language:	English
Published:	New York : Prentice Hall, 1989.
Series:	Prentice-Hall international series in computer science.
Subjects:	Z (Computer program language)