Current trends in programming methodology. - Hoare, C. A. R. (Charles Antony Richard), 1934- (Prentice-Hall, 1978)