Andre Scedrov Dennis DeTurk Wolfgang Ziller Moez Alimohamed, 1967-1994. 1-3 1995 146 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs146.html#ScedrovDZ95