Laws of programming

A. W. Roscoe, C.A.R. Hoare, He Jifeng, I.J. Hayes, C.C. Morgan, J.W. Sanders, I.H. Sorensen, J.M. Spivey and B.A. Sufrin

journal	Communications of the ACM
month	August
note	Previously appeared as Oxford University Computing Laboratory Technical Report PRG-42.
number	8
pages	672—686
volume	30
year	1987

people

Bill Roscoe