Parkes, Alan P. Introduction to languages, machines and logic : computable languages, abstract machines and formal logic / Alan P. Parkes - London : Springer, 2002 - 351 p. : ill. ; 24 cm ISBN: 1852334649 Subjects--Topical Terms: Formal languages