Software Testing Techniques - Boris Beizer (Van Nostrand Reinhold, 1990)