Software Testing Using Analysis and Design Based Techniques. - Marc Roper; Ab. Rashid bin Ab. Rahim (Softw. Test. Verification Reliab., 1993)