"Laws of Programming" из журнала "Communications of the ACM", Vol. 30, No. 8. Авторы - C.A.R. Hoare, I.J. Hayes и др.