Complexité et décidabilité - Dehornoy, Patrick 1952-2019 (Springer, 1993)