Ronald V. BookThe Undecidability of a Word Problem: On a Conjecture of Strong, Maggiolo-Schettini and Rosen.121-122198112Inf. Process. Lett.3db/journals/ipl/ipl12.html#Book81http://dx.doi.org/10.1016/0020-0190(81)90108-3