Black-box testing : techniques for functional testing of software and systems - Beizer, Boris (Wiley)