@article{27653, title = "LAWS OF PROGRAMMING.", author = "Hoare, C.A.R., Hayes, I.J., He, Jifeng, Morgan C. C., Roscoe, A.W., Sanders, J.W., Sorensen, I.H., Spivey, J.M., Sufrin, B.A.", year = "1987", issn = "00010782", journal = "Communications of the ACM", language = "English", number = "8", pages = "672-686", volume = "30", doi = "10.1145/27651.27653", }