A Unique Termination Theorem for a Theory with Generalised Commutative Axioms. - Hans-Josef Jeanrond (ICALP, 1979)

Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully. - Hans-Josef Jeanrond (CADE, 1980)

A Segment-Flow Model of Distributed Computing. - Hans-Josef Jeanrond; M. R. King; N. H. Shelness (GI Jahrestagung, 1980)