Unifying theories of programming - Hoare C A R; Jifeng He (London Prentice-Hall, 1998)
Keywords: Computer programming; Electronic digital computer-programming