System design from provably correct constructs
Martin, James,1933-
Englewood Cliffs London McGraw-Hill
c1985
Ill on lining papers
Includes index
Electronic data processing.
System analysis.