The laws of occam programming /
Roscoe, A. W.
Hoare, C. A. R.(Charles Antony Richard),1934-
Oxford, England : Oxford University, Computing Laboratory,
1986.
Bibliography: p.85-86.
Programming (Electronic computers)
occam (Computer program language)