Laws of Programming [chapter]

C. A. R. Hoare, I. J. Hayes, He Jifeng, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorenson, J. M. Spivey, B. A. Sufrin
1992 Programming and Mathematical Method  
doi:10.1007/978-3-642-77572-7_7 fatcat:n2fijmuxybgxpjdkvyjztgw3ue