Universal sequences for the order-automorphisms of the rationals. - J. Hyde; J. Jonusas; James D. Mitchell; Yann H. Péresse (J. Lond. Math. Soc., 2016)

Parallel algorithms for computing finite semigroups. - J. Jonusas; James D. Mitchell; Markus Pfeiffer (CoRR, 2017)