Sudkamp A.Thomas Languages and Machines: An Introduction Theory of Computer Science - 444 ISBN: 0-201-15768-3 Dewey Class. No.: 004