Software: Barrier or Frontier? - Hoare, C (2015)