Cornerstones of undecidability - Rozenberg, Grzegorz (Prentice Hall, 1994)