1. 1
  1.  

  2. 2

    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