The programming process : an introduction using VDM and Pascal /
Latham, John T.(John Timothy),1959-
Bush, Vicky J.(Victoria Jane Wright),1954-
Cottam, Ian D.(Ian David),1951-
Wokingham : Addison-Wesley,
1990.
Includes bibliographies and index
Electronic digital computers