Silvio Micali Knowledge and Efficient Computation. 353-362 1986 conf/tark/1986 TARK db/conf/tark/tark1986.html#Micali86