Cornerstones of undecidability /
Rozenberg, Grzegorz.
Salomaa, Arto.
New York ; London : Prentice Hall,
1994.