C. A. R. Hoare The Emperor's Old Clothes. 75-83 1981 24 Commun. ACM 2 db/journals/cacm/cacm24.html#Hoare81