Title: The Z notation
First published: 1989
Subjects: Z (Computer program language), Z (computer program language)