Specification-oriented semantics for communicating processes /
Olderog, E.-R.
Hoare, C. A. R.(Charles Antony Richard),1934-
Oxford : Oxford University Computing Laboratory, Programming Research Group, 1984.
Bibliography: p. 77-81.
Programming languages (Electronic computers)