1. The diamond lemma for ring theory
2. Ein Algorithmus zum Auffinden der Basiselemente des Restklassenrings nach einem nulldimensionalen Polynomideal. Universität Innsbruck, Austria, Ph. D. Thesis (1965). English translation in J;Buchberger Bruno;Symbolic Comput.,1965
3. Quiver representations;Derksen Harm;Notices Amer. Math. Soc.,2005