Arie de Bruin On the Existence of Cook Semantics. 1-13 1984 13 SIAM J. Comput. 1 db/journals/siamcomp/siamcomp13.html#Bruin84