Translating data flow diagrams into Z (and visa versa) /
Randell, G. P.
Royal Signals and Radar Establishment (Great Britain)
Malvern : Royal Signals and Radar Establishment,
1990.
Includes bibliography.
ZADOK (Computer program)