Programming from specifications /
Morgan, Carroll,1952-
New York ; London : Prentice Hall,
1994.
Includes bibliographical references and index.
Electronic digital computers