TY  - BOOK
AU  - Hoare C A R
AU  - Jifeng He
TI  - Unifying theories of programming
SN  - 0-13-458761-8
U1  - 005.101 
PY  - 1998///
CY  - London
PB  - Prentice-Hall
KW  - Computer programming
KW  - Electronic digital computer-programming
ER  -