The laws of Occam programming
By: by A.W. Roscoe and C.A.R. Hoare.
Contributors: Hoare, C. A. R. 1934-
Series: Technical monograph -- PRG-53
Publisher: Oxford University Computing Laboratory, Programming Research Group
Published: 1986
Place of publication: Oxford
Language: eng