Oscar H. Ibarra Shlomo Moran On Some Decision Problems for RAM Programs. 69-81 1982 24 J. Comput. Syst. Sci. 1 db/journals/jcss/jcss24.html#IbarraM82