https://intlibrary.ir/download/computation-with-finitely-presented-groups-81369/