Cornerstones of Undecidability (1994)

by G Rozenberg, A Salomaa