Unifying theories of programming /
Hoare, C. A. R.(Charles Antony Richard),1934-
Jifeng, He,1943-
London : Prentice Hall,
c1998.
Includes bibliographical references and index.
Computer programming.