Title: The Way of Z
First published: November 28, 1996
Subjects: Formal methods (Computer science), Z (Computer program language), Z (computer program language)
LC classification: QA76.73.Z2 J33 1997