1. Software Engineering: A Practitioner's Approach, by Roger S. Pressman (McGraw Hill 1992)

2. Software Project Management, by John J. Rakos (Prentice Hall 1990)

3. Applied Microsystems Corporation

   Software Verification Tools

4. Erlang Systems

   Profiler and Coverage Tester

5. TestCenter, by Centerline