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