Der Programmierereinsatz bezüglich Programmentwicklung und -wartung aus mathematischer Sicht. - Franz Binder (Elektron. Rechenanlagen, 1976)

Fast Computations in the Lattice of Polynomial Rational Function Fields. - Franz Binder (ISSAC, 1996)

Algorithms for near-rings of non-linear transformations. - Franz Binder; Erhard Aichinger; Jürgen Ecker; Christof Nöbauer; Peter Mayr 001 (ISSAC, 2000)

Algorithms for Finite Near-rings and their N-groups. - Franz Binder; Peter Mayr 001 (J. Symb. Comput., 2001)