Wirth proves that better software is possible, in “A Plea for Lean Software”