Unifying theories of programming - Hoare, Charles Antony Richard, 1934- (Prentice-Hall series in computer science, 1998)