Andrew Chi-Chih Yao
Coherent Functions and Program Checkers
STOC, 1990.
@inproceedings{STOC-1990-Yao, author = "Andrew Chi-Chih Yao", booktitle = "{Proceedings of the 22nd Annual ACM Symposium on Theory of Computing}", doi = "10.1145/100216.100226", isbn = "0-89791-361-2", pages = "84--94", publisher = "{ACM}", title = "{Coherent Functions and Program Checkers}", year = 1990, }