Philip M. Johnson An Instrumented Approach to Improving Software Quality Through Formal Technical Review. 113-122 1994 ICSE http://portal.acm.org/citation.cfm?id=257734.257751 db/conf/icse/icse94.html#Johnson94