Algebraic specification and proof of properties of communicating sequential processes /
Hoare, C. A. R.(Charles Antony Richard),1934-
He, Jifeng.
Oxford University Computing Laboratory.Programming Research Group.
Oxford : Oxford University Computing Laboratory, Programming Research Group,
1985.