Programming from specifications
Morgan, Carroll,1952-
London Prentice-Hall
c1989
Includes bibliography and index
Electronic digital computers