Richard G. Hamlet Theoretical Comparison of Testing Methods. 28-37 1989 Symposium on Testing, Analysis, and Verification http://doi.acm.org/10.1145/75308.75313 db/conf/issta/tav89.html#Hamlet89