Cornerstones of undecidability - Rozenberg, Grzegorz 1942-; Salomaa, Arto 1934- (Prentice-Hall, 1995)