Paper Recommendation
1976 A Complexity Measure

1990 Software Testing Techniques

1975 The Mythical Man-Month

1974 The String-to-String Correction Problem

1979 The Art of Software Testing

1983 Algorithmic Program DeBugging

1976 Abstraction and Verification in Alphard

1999 Principles of Program Analysis

1995 A Flash-memory Based File System

1990 Software Testing Techniques (2nd Ed.)

1996 Safe Kernel Extensions Without Run-time Checking

1994 Human-Computer interaction

1993 Larch: Languages and Tools For Formal Specification

1995 Free Choice Petri Nets

2002 Types and Programming Languages

1962 Learning From Experience

2000 Real-Time Systems

1996 Handbook of Software Reliability Engineering

1976 An introduction To The Construction and Verification of Alphard Programs

2001 Extreme Programming installed