References
- Aho , A.V. and Ullman , J.D. 1972 . The Theory of Parsing, Translation and Compiling , Vol. 1 , Englewood Cliffs : Prentice-Hall . vol. 2 (1973)
- Calude , C. and Paun , Gh. 1983 . Independent instances for some undecidable problems . RAIRO-Theoretical Informatics , 17 ( 1 ) : 49 – 54 .
- Kleene , S.C. 1967 . Mathematical Logic , New York : John Wiley .
- Machtey , M. and Young , P. 1978 . An Introduction to the General Theory of Algorithms , North-Holland, Amsterdam : Elsevier .