Coherent functions and program checkers (1990)

by A Yao
Venue:in Proceedings of the 22n Annual Symposium on Theory of Computing