Unifying theories of programming - Hoare, Charles A. R. 1934-; He, Jifeng 1943- (Prentice Hall series in computer science, 1998)