Programming from specifications - Morgan, Caroll (New York : Prentice-Hall, 1994)
Includes bibliographical references and index.
Keywords: Electronic digital computers -- Programming