Title: Improving the translation from data flow diagrams into Z by incorporating the data dictionary
First published: 1992
Subjects: Data dictionaries, Z (Computer program language)
LC classification: QA76.73.Z2 R36 1992