Article on the subject of "rigorous programming"