Cornerstones of undecidability by Rozenberg, Grzegorz, Salomaa, Arto fromPrentice Hall International Series i Computer Science 0 Type: Book
