Niklaus Wirth Google Video on Testing (Niklaus doesn't think testing is the way to prove programs. I personally think regression testing is still useful for finding existing and old bugs but it doesn't prove a program correct. I'm not fan of the gobblydegock promoted by a lot of Agile developers and extreme programmers. If Niklaus would add AnsiStrings to his latest languages they would be more useful to the public.)