Title: Z (a formal specification method)
First published: 1986
Subjects: Real-time data processing, Computer programs
LC classification: QA76.54