Information and Computation (Academic Press, 1987)