Martin, John C. Introduction to Languages and Theory of Computation - 2 - New Delhi Oxford University Press 2002 - 556 ISBN: NMIT003444