Unifying theories of programming - Hoare-Jifeng, He (Prentice Hall, 1998)