Ronald V. Book Chee-Keng Yap On the Computational Power of Reversal-Bounded Machines. 111-119 1977 conf/icalp/1977 ICALP db/conf/icalp/icalp77.html#BookY77 http://dx.doi.org/10.1007/3-540-08342-1_9