Cornerstones of Undecidability - Rozenberg, Grzegorz; Salomaa, Arto (Prentice-Hall, 1994)
bibliography:pp.193-194