John C. Martin Introduction To Languages And The Theory of Computation - New Jersey World Scientific 2000 - 285 ISBN: 978-0070408456