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