Randell, G. P. (1992). Improving the translation from data flow diagrams into Z by incorporating the data dictionary. Malvern, Worcestershire, Procurement Executive Ministry of Defence RSRE.
(1992)
Languages mentioned
Z
{1980}