The consistency of the calculus of total correctness for communicating processes /
Zhou, Chao Chen.
Oxford University Computing Laboratory.Programming Research Group.
Oxford : Oxford University Computing Laboratory, Programming Research Group,
1982.