Computer program testing - Chandrasekaran, B., 1942-; Radicchi, S. (North-Holland Publishing Company, 1981)