%0 Book
%A  C.A.R. Hoare and He Jifeng.
%T Unifying theories of programming /
%U /book/90234810/Unifying-theories-of-programming/