An Approach to Program Testing (1975)

by J C Huang
Venue:ACM Computing Surveys