Juris Hartmanis Desh Ranjan Space Bounded Computations: Review And New Separation Results. 49-66 1989 conf/mfcs/1989 MFCS db/conf/mfcs/mfcs89.html#HartmanisR89 http://dx.doi.org/10.1007/3-540-51486-4_56