The Computational Complexity of Equivalence and Isomorphism Problems by T. Thierauf