Assisting the Code Review Process Using Simple Pattern Recognition. - Eitan Farchi; Bradley R. Harrington (Haifa Verification Conference, 2005)