Yuri Gurevich Interactive Algorithms 2005. 26-38 2005 conf/mfcs/2005 MFCS http://dx.doi.org/10.1007/11549345_3 db/conf/mfcs/mfcs2005.html#Gurevich05