A hoary classic, worth periodic retelling. But this one appears paywalled? Anyway, the link is broken for me.
Try http://zoo.cs.yale.edu/classes/cs422/2011/bib/hoare81emperor.pdf
A hoary classic, worth periodic retelling. But this one appears paywalled? Anyway, the link is broken for me.
Try http://zoo.cs.yale.edu/classes/cs422/2011/bib/hoare81emperor.pdf