New directions in testing. (1989)

by R J Lipton
Venue:In Proc. DIMACS workshop on Distributed Computing and Cryptography,